Commit 5bab93eb authored by POTTIER Francois's avatar POTTIER Francois

TODO item.

parent 64fa6a76
* A use-site %inline would sometimes be useful!
And would allow removing the duplication between option/ioption, etc.
* Another crazy idea: if we had a special "void" non-terminal symbol,
we could use it as a parameter, which would allow us to make extensible
definitions. (Any production that contains void would be removed after
expansion of the parameterized non-terminals.)
This would allow some simplifications in CompCert's grammar.
* Error.signal should call error_message?
* Document --list-errors --interpret-error --compile-errors --compare-errors --update-errors
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