Commit 33c29512 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent fea30a57
......@@ -121,9 +121,6 @@
* Documenter la différence de philosophie avec Denny & Malloy à propos
des conflits (cf. email à Laurence Tratt).
* TableBackend en principe ne devrait pas avoir besoin de Invariant?
Gain de temps/simplicité possible.
* bundle the Coq library with menhir, and add demos/calc-coq
to show how it is used
......@@ -157,10 +154,6 @@
* (petit) BUG: --follow-construction n'affiche pas le contenu des états
initiaux (r0)
* relire la preuve de Pager et comprendre si ce que fait Lr1.grow est correct
ou pas; faut-il faire grossir les états existants, ou bien (par exemple) les
supprimer et recommencer leur construction?
* que fait/que doit faire la combinaison --tokens-only --depend?
* Préserver dirname/ dans les directives #line émises.
......@@ -172,8 +165,6 @@
nom de fichier; d'après Damien, il devrait suffire que la phrase après
les deux points ne commence pas par un nombre.
* ajouter une option -q pour désactiver tous les warnings
* si une variable est inutilisée dans une action sémantique, le
warning est affiché dans le code produit.
......@@ -193,19 +184,3 @@
* dans le dump de l'automate, rajouter les transitions qui ont
ete supprimees par resolution de conflits. Afficher aussi les
réductions par défaut?
* expliquer aussi les conflits end-of-stream
* Lorsqu'on crée un pseudo-lexème pour utiliser dans les
directives %prec, la question de savoir s'il est associatif
à gauche ou à droite ou pas du tout ne se posera jamais. Donc,
pour faire propre, on ne devrait pas autoriser l'emploi de
%left, %right, %nonassoc (sauf pour compatibilité arrière,
avec warning) mais introduire un nouveau mot-clé %fictitious
ou %pseudo ou whatever.
* Autre remarque du même tonneau, si on souhaite choisir un
niveau mais pas un statut d'associativité (parce qu'on pense
qu'il est inutile), il faudrait pouvoir déclarer %neutral
(whatever) et obtenir un niveau au statut non-spécifié (d'où
erreur si on tente de consulter ce statut).
......@@ -66,3 +66,10 @@ for now.
* Why does --canonical --table consume a huge amount of time on a large grammar?
(3m57s for ocaml.mly, versus 16s without --table)
Display how much time is spent compressing tables.
* Explain end-of-stream conflicts, too.
* If one wishes to assign a priority level to a token, without choosing
an associativity status (%left, %right, %nonassoc) one should be allowed
to declare %neutral and obtain an unspecified associativity status
(causing an error if this status is ever consulted).
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