type definitions

Hi,


I'm working on a compiler library, and extensions to yacc to allow
people to easily write language definitions, and build compilers with
very little C code in the definition/grammar. But, I'm stuck, and
can't figure out how to cleanly represent type definitions using a
yacc-like syntax, so that one only has to write "set_type( TYPE_NAME )"
in order to set the type, and perform sanity checking (making sure
types don't conflict, types aren't specified more than allowed, etc).
Almost everything else that the frontend library needs to handle is
already implemented, so this is more or less the final step in
creating the parse tree. I had some working code before, but it was
very dirty, and doesn't fit exactly how I want to do things (was using
bit masks and a custom set_type function for every compiler).


If anyone has a good idea, please let me know. I want to make my
compiler as source-language independant as possible (not tied to be a
specific language compiler, but can be used to write a compiler for
several languages with relative ease).


Thanks,


Justin Hibbits

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