M2compiler-V3/docs/gaps/gap21_fwd_record_field.mod

MODULE Gap21FwdRecordField;
(* NOT legal Modula-2: a record (or variant) field's type is declared
   later; only a POINTER's base type may forward-reference.  Declaration
   before use is required; V3 correctly rejects it.
   Class: decl-order (gm2 leniency).
   Corpus: record14.def, record15.def, record16.def.
   V3: undeclared identifier. *)
TYPE r = RECORD f : s END;
     s = RECORD v : INTEGER END;
VAR x : r;
BEGIN END Gap21FwdRecordField.