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

TODO.

parent 0f949af4
* 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.)
Add another option to control the naming of "Pervasives"?
or just avoid referring to Pervasives
* Incremental API: expose a function `lookahead` of type `'a env -> token option`. * Incremental API: expose a function `lookahead` of type `'a env -> token option`.
......
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