Commit fea30a57 authored by POTTIER Francois's avatar POTTIER Francois


parent 521b9d37
......@@ -54,6 +54,8 @@
where we get a warning that "b -> " is never reduced, but actually (as a
result) "a -> b B" is never reduced either. Reword the current warning?
Document the problem? Develop a new warning based on LRijkstra?
By the same token, some states could be unreachable, without us knowing.
What should we do about it?
* Allow splitting a nonterminal symbol (in a file or over multiple files).
with an explicit keyword? %public?
......@@ -119,10 +121,6 @@
* Documenter la différence de philosophie avec Denny & Malloy à propos
des conflits (cf. email à Laurence Tratt).
* Pourquoi --canonical --table ne marche pas sur une grosse grammaire?
(3m57 pour ocaml.mly versus 16s sans --table)
Afficher combien de temps est passé à comprimer les tables.
* TableBackend en principe ne devrait pas avoir besoin de Invariant?
Gain de temps/simplicité possible.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment