Commit fdf187d8 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 3b838072
......@@ -162,7 +162,9 @@
* allow the user to choose the type of "source code intervals" that are stored
in the stack (instead of imposing a pair of locations, $startpos and $endpos)
and to choose how intervals are combined.
and to choose how intervals are combined. See Frédéric's branch:
https://gitlab.inria.fr/fpottier/menhir/tree/fred-abstract-locations
See also Frédéric's email to François entitled "Menhir avec $loc" (26/07/2018).
* write a specialized version of PackedIntArray.get to the .ml file,
for added performance. (Suggested by Frédéric Bour.)
......
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