M2compiler-V3/compiler/tests/g_gstk.mod

GENERIC IMPLEMENTATION MODULE GStk;
CLASS IMPLEMENTATION Stk;
  PROCEDURE Capacity() : INTEGER;
  BEGIN RETURN HIGH(a) END Capacity;
  PROCEDURE Put(x : T);
  BEGIN a[0] := x END Put;
END Stk;
END GStk.