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

TODO.

parent 39b3f257
Pipeline #508725 passed with stages
in 43 seconds
......@@ -71,6 +71,9 @@
## Minor suggestions for enhancements
* Add a new command line switch `--no-code-generation`, instructing Menhir to
generate no code at all. Only Menhir's front-end would run; no back-end.
* `promote.sh` is currently broken; remove it? Check if Dune can create
missing files.
......
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