[Gm2] Array and CAST Woes

[john o goyo]

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]===


------------------------------------------------------------
2. CASTing woes:

Is the following not valid?

===[cast.mod]===
MODULE cast;

FROM (*ISO*) SYSTEM IMPORT CAST, LOC;

VAR
    x :LOC;
    n :CARDINAL;

BEGIN (*cast*)
    n := 2;
    x := CAST(LOC, n)  (* Reported as error by GM2 of 2005-06-03 *)
END cast.
===[cast.mod ends]===

------------------------------------------------------------

Sincerely,
john