Commit 7e1a87f2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed a TODO item.

parent 01f4b77d
......@@ -15,8 +15,6 @@
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 --echo-errors --on-error-reduce
explain that any production that contains [error] is ignored by --list-errors
document the .messages file format
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