Re: TODO update

[Akim Demaille]

>>>>> "Paul" == Paul Hilfinger <address@hidden> writes:

+**  GLR
+How would Paul like to display the conflicted actions?  In particular,
+what when two reductions are possible on a given lookahead, but one is
+part of $default.  Should we make the two reductions explicit, or just
+keep $default?  See the following point.
 
Paul> Perhaps I don't understand this issue properly.  In GLR mode
Paul> (well, unless you've changed something), 

I didn't.

Paul> no conflicted action is ever supposed to be $defaulted (Why? 
Paul> Well, it can't be: entries in which the default action applies
Paul> are allocated no space in the relevant tables, but GLR needs
Paul> space in the tables in order to record the conflicts).  This is
Paul> (supposed to be) the only way that tables common to GLR parsers
Paul> and ordinary LALR parsers differ.

OK.  Then I must have missed the bits where the tables are changed.
Hm...

Would you say we ought to keep the same `output', with $default, as a
means to compress output, not the parser?