Commit 30b7f60c authored by POTTIER Francois's avatar POTTIER Francois

TODO items.

parent 1b9adb74
* Generate default printers for terminal and nonterminal.
Define printers for productions and items, parameterized
over printers for terminal and nonterminal.
* [Printers] could use [print_element_as_symbol] as the default
value of [print_element].
* IncrementalEngine: document [lr1state], [element], [view].
Document the Inspection interface.
* Define MenhirLib.Stream?
* document that --depend may produce inaccurate dependencies
for parser.cmi and that it is recommended to use --raw-depend
--ocamldep "ocamldep -modules" and work from there (which is
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment