Commit 0f8c62f1 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed two TODO items.

parent 491ee887
......@@ -139,8 +139,6 @@
* TableBackend en principe ne devrait pas avoir besoin de Invariant?
Gain de temps/simplicité possible.
* Could we avoid listing the contents of MenhirLib in 4 different files?
* bundle the Coq library with menhir, and add demos/calc-coq
to show how it is used
......@@ -155,10 +153,6 @@
* move to a new license (GPL V2?), as per Hongbo Zhang's request.
* Les fichiers dans demos/ ne devraient pas être sous QPL mais libres...
* _stage2/menhir.native --interpret fancy-parser.mly
crashes with Stack_overflow when the input is just "grammar:\n"
... it seems to loop now ...
* BUG: la directive $type<...> nt donne lieu à un message d'erreur bizarre
si le non-terminal nt n'existe pas. (Jacques-Henri.)
Supports Markdown
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