Re: [Gm2] ISO M2 CAST faulty behaviour and more about opaque types

[Gaius Mulley]

Matthias Kurz <address@hidden> writes:

> Hi.
> 
> On Thu, Oct 09, 2003 at 03:04:54PM +0200, Iztok wrote:
> [...]
> > I think that the variable of typed pointer could be mutually assignable 
> > with another of SYSTEM.ADDRESS but not with another of different typed 
> > pointer, except using SYSTEM.CAST which transfers the reponsibility for 
> > functional disasters from compiler to developer in charge.
> > 
> > It also means that opaque types can not be equalized to SYSTEM.ADDRESS 
> > but considered as typed pointers of different kinds
> 
> I completely agree with this.
> 
> 
>    (mk)
> 

Hi Matthias and Iztok,

thanks for the observation on opaque types (which I also agree :-).
Now fixed in the CVS..

Gaius