Commit 6effc2d7 authored by POTTIER Francois's avatar POTTIER Francois

TODO update.

parent 91845037
...@@ -172,7 +172,6 @@ ...@@ -172,7 +172,6 @@
En profiter pour laisser l'utilisateur contrôler comment un token doit En profiter pour laisser l'utilisateur contrôler comment un token doit
être emballé en `fat token' (token + range). être emballé en `fat token' (token + range).
* %inline pourrait-il fonctionner quand la règle à inliner utilise des $i?
* %inline pourrait-il fonctionner quand les productions à inliner ont un %prec? * %inline pourrait-il fonctionner quand les productions à inliner ont un %prec?
(ça aurait un sens au moins quand on inline dans une production unité?) (ça aurait un sens au moins quand on inline dans une production unité?)
(ou plus généralement quand on inline en dernière position?) (ou plus généralement quand on inline en dernière position?)
...@@ -221,6 +220,11 @@ ...@@ -221,6 +220,11 @@
* si une variable est inutilisée dans une action sémantique, le * si une variable est inutilisée dans une action sémantique, le
warning est affiché dans le code produit. warning est affiché dans le code produit.
* si une parenthèse est mal fermée dans une action sémantique,
l'erreur de syntaxe peut être détectée par OCaml en dehors
des actions sémantiques. Bétonner en mettant une séquence
improbable de begin/end/parenthèseses autour de l'action?
* BUG: solving a shift/reduce conflict in favor of reduction can * BUG: solving a shift/reduce conflict in favor of reduction can
cut a path that was required in order to explain another conflict. cut a path that was required in order to explain another conflict.
(see e.g. belloeil.mly) (et le reduced_parser.mly d'Adrien Guatto) (see e.g. belloeil.mly) (et le reduced_parser.mly d'Adrien Guatto)
......
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