Commit cc9af060 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 10caa7db
......@@ -9,6 +9,7 @@
attributes are incompatible with %inline
how attributes are propagated during expansion of parameterized definitions
how %attribute is desugared
- ability to split a %public symbol, even within a single unit
- --cmly command line flag
- menhirSdk; document the .cmly API...?
- demo of menhirSdk: generate-printers
......@@ -30,7 +31,11 @@
* clean up this TODO file! and use gitlab issues for known bugs.
* clean up and parallelize the test suite.
* Clean up and parallelize the test suite.
Produce better reports.
In bench/bad, "make test" does not properly summarize the tests
that should have failed but were accepted, nor does it report
when an .expected file is missing.
* see if ErrorReports could be part of MenhirLib.
......
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