У менгира есть команды, которые ассоциативность позволяют задать
Если %left и %right, то непонятно, к чему тут. Операций же нет (а в доках про них) 🤔
сорян, я невнимательно прочитал) чаще всего вижу, что аппликацию делают сразу для списка аргументов
Конкретно тут должно быть достаточно аннотировать с помощью %prec правило для аппликации, сделав предварительно %left для этого же идентификатора
И всё-таки, для понимания, для каких именно идентификаторов это надо сделать?
Что-то типа такого: %left APP ... | e1 = expr; e2 = expr { App(e1, e2) } %prec APP
Спасибо, попробую
Обсуждают сегодня