[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gm2] Re: Comparission bug ?

From: Gaius Mulley
Subject: Re: [Gm2] Re: Comparission bug ?
Date: Mon, 26 Jan 2009 09:22:24 +0000
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)

"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;
> 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'


reply via email to

[Prev in Thread] Current Thread [Next in Thread]