Re: [Gm2] Problem with typechecking

[Gaius Mulley]

Waldek Hebisch <address@hidden> writes:

> The following program:
> 
> MODULE ttc;
> 
> TYPE tL = RECORD m :INTEGER END;
> 
> PROCEDURE E     (    L: tL): BOOLEAN;
> BEGIN
>   RETURN TRUE
> END E;
> 
> TYPE tT = tL;
> 
> PROCEDURE T ( t: tT);
>    BEGIN
>       WHILE NOT E (t) DO
>       END;
>    END T;
> 
> BEGIN
> END ttc.
> 
> gives me:
> src5$ ../../gm2-lin/gcc/xgm2 --save-temps -B../../gm2-lin/gcc/ -c -I. 
> -I../../gcc-3.3.2/gcc/gm2/gm2-libs ttc.mod
> ../../gcc-3.3.2/gcc/gm2/gm2-compiler/M2Base.mod:578:*** internal error *** 
> unexpected base type
> 
> It looks related to the array problem, but just in case I report it 
> separatly.

many thanks for reporting this bug, I've also fixed this now.
I'll start checking these changes into CVS soon..

Gaius