Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
59037c1f
Commit
59037c1f
authored
Mar 22, 2017
by
POTTIER Francois
Browse files
TODO.
parent
d45c02db
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
59037c1f
* 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
* move to a new license (GPL V2?), as per Hongbo Zhang's request.
* Les fichiers dans demos/ ne devraient pas être sous QPL mais libres...
* move to gitlab.inria.fr
see https://help.github.com/articles/splitting-a-subfolder-out-into-a-new-repository/
* clean up this TODO file! and use gitlab issues for known bugs.
* clean up and parallelize the test suite.
* see if ErrorReports could be part of MenhirLib.
* see if --only-preprocess-for-ocamlyacc could be implemented.
...
...
@@ -15,9 +28,6 @@
Should we check that it is not used?
* Discussion with Frédéric Bour.
- clean up tabs -> spaces, remove trailing spaces. (use emacs in batch mode, or sed)
check that my .emacs produces only spaces
- annotations/attributes in .mly files
- SDK, exposing a dump of Grammar/Lr0/Lr1
- Engine: offer richer API
new stack inspection API, without streams
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment