Commit d2063c2c authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 04fbffcc
......@@ -245,3 +245,10 @@
Then, implement partition refinement for a union of n GRAMMARs (?)
as a way of testing whether two LR(1) automata (whose LR(0) skeleta
are identical) are equivalent.
* Quand on est dans un état d'erreur et qu'on tente une réduction
(car elle est activée dans l'état courant), si l'action sémantique
fait $syntaxerror, on va apparemment boucler (on rattrape l'exception
et on se retrouve en mode gestion d'erreur dans le même état; cf. bug
rapporté par Gabriel Scherer sur la grammaire d'OCaml, OCaml 0007847).
On pourrait détecter ce cas et le traiter spécialement?
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