Re: [Gm2] Array and CAST Woes

[Gaius Mulley]

john o goyo <address@hidden> writes:

> Greetings:
> 
> I offer the following report.
> 
> ------------------------------------------------------------
> 1. Array indices:
> 
> Methinks that the following is correct code but gm2 claims
> otherwise.
> 
> ===[index.mod]===
> MODULE index;
> 
> TYPE
>      A = ARRAY [0..1] OF CHAR;
> VAR
>      a :ARRAY [0..1] OF A;
> 
> BEGIN (*index*)
>      a[0,0] := 'A'  (* Reported as error by GM2 of 2005-06-03 *)
> END index.
> ===[index.mod ends]===

Hi John,

this is now fixed in the CVS and here is the ChangeLog entry:

 * fixed bug reported by John O Goyo <address@hidden>
   multiple indexed arrays were internally defined incorrectly
   and did not allow users to mix array indices by a[x,y,z] and
   a[x][y,z] etc as per PIM and ISO specification.
   see testsuite/gm2/pim/pass/index.mod and
       testsuite/gm2/pim/pass/index2.mod and
       testsuite/gm2/pim/run/pass/index3.mod

thanks for reporting the bug,

Gaius