Re: Recognition of typedefs in C ?

David Pereira <davidpereira@home.com> wrote:
>...consult this table and return TYPENAME if the name was found in this
>table, otherwise IDENTIFIER. However, this is inadequate since
>*context* matters...


Not necessarily...


>typedef int x; /* parser enters 'x' into the typename table */
>...
>int main ()
>{
> int x; /* lexer consults typename table and returns TYPENAME for x.
>BAD !!! */


Rather than trying to return IDENTIFIER for x, it suffices to accept
either IDENTIFIER or TYPENAME for the name being declared. This does
require some rearrangement of the grammar to ensure that the TYPENAME is
not taken as part of the type specification, but it *can* be done -- I did
it in an experimental parser.
--
When failure is not an option, success | Henry Spencer henry@spsystems.net
can get expensive. -- Peter Stibrany | (aka henry@zoo.toronto.edu)

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