Commit 36222b0e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO update.

parent ed7cb227
* Ongoing work on positions.
- update the documentation of positions
- compute NULLABLE and FIRST prior to inlining, and use it to optimize
$symbolstartpos
* Compute NULLABLE and FIRST prior to inlining, and use it to optimize
$symbolstartpos.
* Develop an alternate src/Makefile that does not require ocamlbuild?
Could use OCamlMakefile instead, for instance.
......@@ -50,7 +48,6 @@
(voir aussi messages de Tiphaine Turpin à partir du 30/08/2011)
Idée de F. Bour: on pourrait annoter une production %default
pour indiquer qu'elle doit toujours être réduite par défaut.
Réfléchir à l'impact sur les positions.
Il faut aussi revisiter la notion de conflit end-of-stream.
- si réduction par défaut, alors pas de conflit possible!
- si conflit, alors pourquoi on le résoud en éliminant la
......@@ -103,11 +100,6 @@
incompatible in principle with --explain. Modify the code to fail
gracefully when the problem arises.
* BUG: %inline ne préserve pas la sémantique de $startpos/$endpos.
C'est vrai pour les productions epsilon (forcément)
mais aussi pour des productions non-epsilon
car $startpos de la production inlinée est changée en $endpos(x) où x est le symbole précédent!
* BUG: --only-preprocess imprime des actions sémantiques où les $ ont
été remplacés par _, ce qui rend la grammaire invalide.
......@@ -148,14 +140,6 @@
les paramètres effectifs sont toujours des atomes (symboles terminaux ou
non-terminaux), non? (Jacques-Henri.)
* En mode code on tire les tokens d'un lexbuf et l'utilisateur doit construire
l'API moderne par `wrapping', s'il la souhaite. Mais en mode table l'API
moderne est native et l'API traditionnelle est construite (par nous) par
`wrapping', d'où risque de `double wrapping' pour un utilisateur qui veut
alterner entre code et table. On devrait exposer nous-mêmes les deux API.
En profiter pour laisser l'utilisateur contrôler comment un token doit
être emballé en `fat token' (token + range).
* %inline pourrait-il fonctionner quand les productions à inliner ont un %prec?
(ç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?)
......
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