On 7 Apr., 04:39, Georg Bauhaus <bauh...@[EMAIL PROTECTED]
> wrote:
> > 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?
Eiffel defines $ as returning a POINTER. So there is now way to
discuss the semantics, you have to define your own. Luckily the
implementation in SmallEiffel makes it easy to extend it.
> 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)
Interesting. But it more and more tells me that ECMA Eiffel will never
ever get completely implemented (like the latest SQL drafts etc.) and
thats why i say, it is wasted time. Also i'm using '$' explictly to
fool the typesystem, seems that this is not possible anymore.
|
