[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gm2] A SET error, perhaps?
From: |
Gaius Mulley |
Subject: |
Re: [Gm2] A SET error, perhaps? |
Date: |
16 Mar 2006 20:56:46 +0000 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
John O Goyo <address@hidden> writes:
> Greetings:
>
> I believe the following to be correct (and compiles with GPM and
> XDS). I threw in HALT so as to have some sort of conditional without
> importing anything.
>
> =========================================
> MODULE bits;
>
> TYPE
> Colour = SET OF (red, green, blue);
>
> VAR
> sky, land :Colour;
>
> BEGIN
> sky := Colour{red, blue};
> land := Colour{green};
>
> IF land <= sky THEN
> HALT
> END (*IF*)
>
> END bits.
Hi John,
many thanks for the report and test code. Indeed a bug, it also
occurs if you have:
MODULE foo ;
TYPE
Colour = SET OF (red, green, blue);
BEGIN
END foo.
but it works with:
MODULE foo ;
TYPE
i = (red, green, blue);
Colour = SET OF i ;
BEGIN
END foo.
I'm currently exploring it with gdb..
regards,
Gaius