Commit 063e569d authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent e1c23b3b
...@@ -9,6 +9,8 @@ ...@@ -9,6 +9,8 @@
Check that the auto-%inlined symbol has no %prec annotation. Check that the auto-%inlined symbol has no %prec annotation.
Document that --auto-inline requires pure semantic actions. Document that --auto-inline requires pure semantic actions.
(Note that --auto-inline turns midrule into endrule!) (Note that --auto-inline turns midrule into endrule!)
Should --auto-inline be a command line switch, or a directive %autoinline?
Consider adding %noinline to prevent --auto-inline from inlining a symbol.
* Add a command line option to control how "MenhirLib" should be named in the * Add a command line option to control how "MenhirLib" should be named in the
generated code. (Suggested by Gabriel Scherer.) generated code. (Suggested by Gabriel Scherer.)
......
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