Re: [Gm2] A SET error, perhaps?

[Gaius Mulley]

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