> So basically, menhir is saying "what happens if you hit
> end of stream here? What should be done?" and the answer
> is "it can't happen".

What I am trying to say is, Menhir doesn't ask this question. It asks:
"what happens if I reach that state? should I request a lookahead token
from the lexer, or shouldn't I?"

-- 
François Pottier
Francois.Pottier@inria.fr
http://cristal.inria.fr/~fpottier/