Commit d51010e0 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 5a15b9a9
* Document the recent additions (CHANGES + doc).
- attributes in .mly files
rationale / purpose
syntax of attributes
placement of attributes
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
- menhirLib: new functions
loop_handle_undo, shifts, acceptable
find_default_reduction
......@@ -23,9 +13,10 @@
MenhirLib.Printers: incompatible type change of print_stack
deprecated streams, [stack], MenhirLib.General.
MenhirLib.ErrorReports: new module
- Change of LICENSE. Clarify the status of test/.
- Send CompCert pull request.
* Menhir's Web page should be folded back into the git repo's README.
* Move more of ErrorReports from CompCert to MenhirLib.
In [show], might want to apply [shorten] to the output of [f].
......
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