Commit daa2b949 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent cf457924
......@@ -27,6 +27,7 @@
- Send CompCert pull request.
* Move more of ErrorReports from CompCert to MenhirLib.
In [show], might want to apply [shorten] to the output of [f].
* Implementing may_reduce by looping over the action table may be too
conservative? There may be situations where there is no reduce action
......@@ -34,7 +35,8 @@
this state is still capable of reducing this production.
* clean up this TODO file! and use gitlab issues for known bugs.
Use Markdown format for CHANGES, etc.
* Use Markdown format for CHANGES, etc.
* see if --only-preprocess-for-ocamlyacc could be implemented.
Re-introduce $1 keywords.
......
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