Re: TODO update

[Paul Hilfinger]

Akim,

I'm STILL not entirely sure I understand the problem here. 

> But now I [remember]: when there are conflicts, Bison *lies*
> precisely to exhibit the conflicted rules.

So is the "lie" that it fails to mention that the reduction 
on ')' is due to the $default rule?  

Also, I wrote

| The $default reduction is actually used, by the way, but not in any
| valid program.  If your input were

and you replied

> Yes, but as you can see, it didn't even look at the lookahead. 

Well, true.  However, there are two ways that the $default reduction
gets used (as reflected in yacc.c): in states with only one reduction 
(i.e., after any suppressed reductions are removed) and no shifts, 
Bison uses the $default without looking at the lookahead, and
otherwise it uses the $default when there is a null entry in the
action table for the lookahead.  I'm not sure why one is unreal and
the other is real.

Paul