Commit 0f554b5e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO update.

parent e2d3c228
* Ongoing work on positions.
- on peut offrir un $symbolstartpos(i) qui calcule de la même
manière que Parsing.symbol_start_pos.
- tester si rhs_end_pos 0 correspond bien à $endpos($0)
- document how positions are computed
- concrete syntax for $endpos($0), and document it
- document how to translate ocamlyacc positions to Menhir
- document whether %inline preserves positions
Warn that it can REORDER side effects! (the inlined semantic
action is delayed to the beginning of the host semantic action)
- document that if $startpos seems less accurate than it used to be,
then one might wish to switch to $symbolstartpos instead.
- update the documentation of positions
- $startpos and $endpos could be translated early in terms of the
other keywords, so inlining wouldn't have to worry about them.
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