LaTeX output includes "l" when {{ aux _ l }} is used

[alastairreid]

To reproduce

cd ott/tests/menhir_tests/test10menhir_with_aux
make pdf
open test10menhir_with_aux_unquotiented.pdf

Every production for "term" ends with a location 'l'.

term, t, v ::=
    | at l
    | lhs rhs′ l
    | lambda l
    | {t/x}t′ l M
    | Foo term l

I think that it should not end with 'l'.

[alastairreid]

Responding to my own report...
The problem is that the Makefile does not use "-generate_aux_rules false" when invoking ott.
And now that I know that I need it there, I have added it to my own project and it looks right.

(I will followup with a pull request to fix the Makefile.)

[PeterSewell]

I get a different error from that pdf target; didn't check why. But the "make all" test10menhir_with_aux_quotiented.pdf seems to be what you want?

…

On 31 May 2018 at 09:00, Alastair Reid ***@***.***> wrote: Responding to my own report... The problem is that the Makefile does not use "-generate_aux_rules false" when invoking ott. And now that I know that I need it there, I have added it to my own project and it looks right. (I will followup with a pull request to fix the Makefile.) — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#35 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AErM5lu87oCER96I2OpIPiSlQ4D5vbbHks5t3-llgaJpZM4UU_KK> .