Skip to content

GitLab

Commit bdf132da authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO items.

parent 24894790
Hide whitespace changes
Inline Side-by-side
Showing with 6 additions and 0 deletions
TODO
View file @ bdf132da
......@@ -4,6 +4,12 @@
manière que Parsing.symbol_start_pos.
- tester que $startpos(i) est conforme à rhs_start_pos(i),
idem pour end
- document how positions are computed
- concrete syntax for $endpos($0), and document it
- document how to translate ocamlyacc positions to Menhir
- document the fact that %inline preserves positions
but can REORDER side effects! (the inlined semantic
action is delayed to the beginning of the host semantic action)
* Simplify Error.logA, etc. by integrating a format argument.
......
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