Commit 1bbc7f69 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO update.

parent 240d71d0
......@@ -205,6 +205,7 @@
* BUG: solving a shift/reduce conflict in favor of reduction can
cut a path that was required in order to explain another conflict.
(see e.g. belloeil.mly) (et le reduced_parser.mly d'Adrien Guatto)
(also check the parser.mly sent by Andrej Bauer on 2016/01/21)
Or just give up on explaining the conflict in this case.
Take priorities into account *during* the construction of the
automaton? Is it feasible? Compatible with Pager?
......
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