Re: [Gm2] Re: Comparission bug ?

[Gaius Mulley]

"Breeden, Thomas (tmb)" <address@hidden> writes:

> Another thing I noticed, with surprise, when browsing the ISO document was 
> that these following
> should go through as well:
>
> MODULE test;
>
> TYPE Enum = (A, B, C, D);
>          Typ = [B..D];
>
> VAR  typ : Typ;
>         styp :SET OF Typ;
>
> BEGIN
>
> IF typ = A THEN
>    typ := B;
> END;
>
> IF A IN styp THEN
>     typ := B;
> END;
>
> END test.
>
> since the "host type", or "base type" for subranges and set types
> respectively determines the expression compatibility, not the
> subrange type or set type itself.
>
> Sorry I can't test it myself on Gnu M2.

Hi Tom,

Thanks for the test code - I've tidied up the error message from gm2
and checked a fix into the CVS.  It now generates:

setequiv.mod:33:4:error: bit exceeded the range of set 'styp'

regards,
Gaius