[Gm2] Problem with typechecking

[Waldek Hebisch]

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.

-- 
                              Waldek Hebisch
address@hidden