Grammars with "&convert=SomeEnum($$)" do not compile with hilti-build and pac-driver about hilti

[rsmmr]

hilti-build goes through intermediary *.hlt files on disk. Unfortunately there are still some issues where those files end up using constructs that the subsequent read cannot parse back in. That's a mismatch between the codes for reading and writing HILTI code.

The pac-driver executable avoids this issue by doing all work just-in-time in RAM.

[blipp]

Thanks for the explanation. I'll stick with pac-driver for the moment then. I'll comment back here if this issue becomes more important for my project to ask how this can be fixed.

[blipp]

Indeed it would be important for us if this would work. Are there plans to fix these issues? Or could you please point me to the points in the code that would need to be fixed?

[rsmmr]

Nobody looking at that right now. The two main parts involved here are (1) the printer in hilti/passes/printer.cc (which renders an in-memory AST into HILT source code), and (2) the parser in parser/parser/parser.yy (which does the opposite :). Ideally, parsing the output of (1) with (2) would yield back the same AST; however the two don't always match up right now.

The test-suite has actually a separate mode to test this: running btest -a printer runs the tests through the print/parse cycle before executing (see comment at beginning of tests/Scripts/filter-printer). However, making this mode pass isn't enforced so far (which is a mistake) and I haven't tried/used it in a quite a while.