I'm currently hacking on the Smalleiffel compiler to generate warning
free and valid C code and found that it is impossible to generate
valid ANSI C with Eiffel.
The problem is that in ANSI C you can't cast from functions to data
pointers, but we only have one '$' address of operator and one
'POINTER'.
I solved this with creating a new basic type FPOINTER and patching the
address of operator it generates the correct return type based on the
concrete run feature.
Don't know why i'm writting this in a dead newsgroup, but maybe
somebody like to know about this language error.