Re: FYI: lalr1.cc: Remove the traits

[Akim Demaille]

>>> "Hans" == Hans Aberg <address@hidden> writes:

 > Also, just use the std::deque for stack. I think that std::stack will  
 > not be able to look deeper than top, as is required by the parser.  

Of course it can't.  That's why we used a dequeue from the start.

 > And std::deque is in the latest C++ revision written so that it does  
 > not invoke copy constructors when expanding the stack, as it just  
 > allocates a new chunk, leaving the old one intact.

Exactly.

Still, time permitting, using vector would be better.