> Le 19 janv. 2015 à 11:20, Hans Aberg <haber...@telia.com> a écrit : > What is the idea of the Bison static type system here?
That of Yacc. When you know the current state, you always know the type of the symbol (because states are always reached by a single symbol, named the accessing symbol in Bison). So the parser does not explicitly store the type, it recovers it from the state number. See the yystos tables in the generated parsers.