Yeah, the easiest way to do it is return a different token type from the lexer for type names, which means the lexer looks up the symbol table when it sees iden

Yeah, the easiest way to do it is return a different token type from the lexer for type names, which means the lexer looks up the symbol table when it sees identifiers. Amusingly, the Delphi dialect of Pascal has an ambiguity in its grammar from how it made function pointers work: function g: Integer; // ... f(g); Depending on the definition of f, this could be passing the function f by reference (as a function pointer), or passing the result of calling f. Delphi looks at the argument type to resolve the ambiguity, but it stays awkward in overload scenarios, when there's a choice between Integer or function pointer arguments. At some point around about 2009, I added the ability to specify explicitly that you want the call, to eliminate the ambiguity: f(g());