M2compiler-V1/tests/a_bad_val.LST

Listing:

    1  MODULE ABadVal;
    2  TYPE V = ARRAY [1 .. 3] OF INTEGER;
    3  PROCEDURE P(a : V);
*****                  ^ not supported in this phase
    4  BEGIN
    5  END P;
    6  VAR x : INTEGER;
    7  BEGIN
    8    x := 1
    9  END ABadVal.

    1 error