Commit 24e4e1a2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 6ea8816e
* Document the recent additions (CHANGES + doc).
- slightly nicer syntax error messages
- attributes in .mly files
rationale / purpose
syntax of attributes
......@@ -37,8 +36,6 @@
* clean up this TODO file! and use gitlab issues for known bugs.
* Use Markdown format for CHANGES, etc.
* Contribute ocamlbuild rules for dealing with .messages files.
* see if --only-preprocess-for-ocamlyacc could be implemented.
......@@ -58,18 +55,6 @@
T.token2terminal, T.token2value offer one direction
the other direction would have to be generated
* BUG: the warning "this production is never reduced" is sound but incomplete.
See never_reduced.mly:
a: b B | B {}
b: {}
where we get a warning that "b -> " is never reduced, but actually (as a
result) "a -> b B" is never reduced either. Reword the current warning?
Document the problem? Develop a new warning based on LRijkstra?
By the same token, some states could be unreachable, without us knowing.
What should we do about it?
Note that the incremental API may allow reaching some states that LRijkstra
would declare unreachable -- so, be careful.
* standard library: define "%public %inline epsilon: {}", which allows using
"epsilon" as a marker for an empty right-hand side.
......
......@@ -81,3 +81,15 @@ for now.
and calling it inside CodeBackend, CoqBackend, and Interpret (complicated).
Or perhaps just running the computation on demand (using lazy)
but that makes timing more difficult.
* The warning "this production is never reduced" is sound but incomplete.
See never_reduced.mly:
a: b B | B {}
b: {}
where we get a warning that "b -> " is never reduced, but actually (as a
result) "a -> b B" is never reduced either. Reword the current warning?
Document the problem? Develop a new warning based on LRijkstra?
By the same token, some states could be unreachable, without us knowing.
What should we do about it?
Note that the incremental API may allow reaching some states that LRijkstra
would declare unreachable -- so, be careful.
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