MODULE MyMod;

  TYPE
    R0 = RECORD a: INTEGER END;
    R1 = RECORD (R0) b: INTEGER END;
    P0 = POINTER TO R0;
    P1 = POINTER TO R1;

  VAR
    p0: P0;
    p1: P1;

BEGIN
  NEW(p0);
  NEW(p1);
  p0 := p1; (* 1. Насколько понимаю, так можно делать *)
  p0^ := p1^; (* 2. Это не должно компилироваться, хотя для Oberon-2 такое возможно *)
  p1^ := p0^; (* 3. Это должно компилироваться, согласно пункту 9.1 п 4 *)
END MyMod.

MODULE Mod;

  TYPE T = RECORD a, b: INTEGER END;

  VAR m1: ARRAY 5 OF T;
    m2: ARRAY 10 OF T;

BEGIN
  m2 := m1; (* В оберон-07 должно компилироваться, а в оберон-2 нет *)
END Mod.

TYPE
   StrHeadDesc = RECORD(StrDesc)...
...
PROCEDURE CopyStrDesc (VAR src, dst: StrDesc);
(* Copy 'src' record contents into 'dst', even if their actual types are
 * extended. It is impossible to assign "StrHeadDesc := StrDesc" in XDS
 * despite the Oberon language "projection" requirement for record assignment,
 * thus this hack. *)
BEGIN
   SYSTEM.MOVE (SYSTEM.ADR (src), SYSTEM.ADR (dst), SIZE (StrDesc));
END CopyStrDesc;