Commit ab9eaae2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 228fdc0a
* Add an --auto-inline pass, which marks certain symbols %inline according
to a well-defined strategy. E.g.,
- mark %inline every symbol that is referenced only once
- mark %inline every symbol that has only one production
(unconditional? subject to a size constraint?)
* Add a command line option to control how "MenhirLib" should be named in the
generated code. (Suggested by Gabriel Scherer.)
Add another option to control the naming of "Pervasives"?
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