Commit 8ea4792f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 29f37a0b
...@@ -98,6 +98,10 @@ ...@@ -98,6 +98,10 @@
* bundle the Coq library with menhir, and add demos/calc-coq * bundle the Coq library with menhir, and add demos/calc-coq
to show how it is used to show how it is used
* 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.
* On pourrait rendre moins restrictif le critère qui garantit la terminaison * On pourrait rendre moins restrictif le critère qui garantit la terminaison
de l'expansion des non-terminaux paramétrés. Il suffirait de vérifier que de l'expansion des non-terminaux paramétrés. Il suffirait de vérifier que
les paramètres effectifs sont toujours des atomes (symboles terminaux ou les paramètres effectifs sont toujours des atomes (symboles terminaux ou
......
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