Re: [Gm2] VAR array parameter type compatibility

[Gaius Mulley]

Fischlin Andreas <address@hidden> writes:

> Hi all,
>
> I agree, this compatibility should actually work and the compiler
> should accept types which have been made equal. Other examples are:
>
> TYPE
>       MYSHORTREAL = REAL;
>
> TYPE
>       PROCA = PROCEDURE (VAR ARRAY OF REAL);
>       PROCB = PROCEDURE (VAR ARRAY OF MYSHORTREAL);
>
> VAR
>       pa: PROCA; pb: PROCB;
>         x: ARRAY [0..1] OF REAL;
>         y: ARRAY [0..1] OF MYSHORTREAL;
>
> PROCEDURE ProcA(VAR z: ARRAY OF REAL);
> PROCEDURE ProcB(VAR z: ARRAY OF MYSHORTREAL);
>
> then pa and pb should be type compatible and interchangeably usable,
> i.e. all following statements should all be legal:
>
>       x := y;
>       pa := ProcA; pb := ProcB;
>       pa(x); pa(y); pb(x); pb(y);
>       pa := ProcB; pb := ProcA;
>       pa(x); pa(y); pb(x); pb(y);
>
>       
> Regards,
> Andreas

Hi Andreas,

indeed this passes on gm2,

regards,
Gaius