constant initialziation (non-gcc)

[Attila Csosz]

Hi,

Sorry for this a bit offtopic mail but I dont know good forums talking 
about compiler design ( but if u suggest.. / comp.compilers down on 20 Nov )

-----
I'm working a VHDL (hardware description language) compiler/interpreter. 
The language has a complex type system (like Pascal).

There are constant initialziation in format

constant name: type := expression;

My question: how to check that this can be assigned? I generate 
pseudo-code. The "type" can complex: like multidimensional arrays 
containing records. Can you draft me how do it? Or how to do it in gcc?

I have the book Aho/Sethi/Ulmann: Compilers. Can you suggest me 
algorithms in this book for it or in the internet or other good books?

--------

Thanks
 Attila