by Georg Bauhaus <bauhaus@[EMAIL PROTECTED]
>
Apr 7, 2007 at 01:39 PM
On Fri, 2007-04-06 at 19:14 -0700, llothar wrote:
> 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 ...
So it is a matter of how to implement the semantics of $
based on the type of the thing to be passed/translated?
> Don't know why i'm writting this in a dead newsgroup, but maybe
> somebody like to know about this language error.
FWIW, ECMA Eiffel also mentions a generic TYPED_POINTER[T]
being the type of address expression $v, where v is of type T.
(8.28.17)
