M2compiler-V2/tests/r_ptr.mod

MODULE RPtr;
VAR ExitCode : INTEGER;
    p, q : POINTER TO INTEGER;
BEGIN
  ExitCode := 0;
  p := NIL;
  q := p;
  IF p = NIL THEN ExitCode := ExitCode + 1 END;
  IF q = NIL THEN ExitCode := ExitCode + 10 END;
  IF p = q THEN ExitCode := ExitCode + 100 END
END RPtr.