Re: Semantics make a grammar ambiguous

    Robert Sherry <rsherry@home.com> wrote:
> The C compilers that I have worked on kept type names in a
> different name space ( symbol table ) then variable names. In
> addition, type names and variable names both came back from the
> scanner as a token of type ID. I gather that your scanner does the
> lookup into the symbol table. This might be the cause of your
> problem. However, if you were to switch to having it return ID for all
> variables and type names you might introduce shift/reduce conflicts in
> your grammar.


This is the method that I'm using - separate type and symbol tables.
Then, you can also add your 'intrinsic' types to the type table and write
kooky stuff like this:
        int int;
['course this means that your scanner can't lookup symbols in *either* table]

Return to the comp.compilers page.
Search the comp.compilers archives again.