Для чего нужны %% в Happy?

Я собираю парсер с Happy и заметил вот это в онлайн-документации:

Как и в yacc, мы включаем %% здесь, без реальной причины.

%%

Однако должна быть причина, даже если она тривиальна. Кто-нибудь знает, в чем она?

5
задан Nick Brunt 8 December 2011 в 13:20
поделиться