[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gm2] Problem with typechecking
From: |
Gaius Mulley |
Subject: |
Re: [Gm2] Problem with typechecking |
Date: |
01 Apr 2004 21:27:45 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Gm2] Problem with typechecking,
Gaius Mulley <=