OberonCore

MODULE Test2;
   IMPORT Out;

   TYPE
      R0 = POINTER TO  EXTENSIBLE RECORD END;
      R1 = POINTER TO RECORD (R0) a: ARRAY 100 OF CHAR END;
      R2 = POINTER TO RECORD (R0) END;

   VAR
      globalPointer: R0;
      r1: R1;
      r2: R2;

   PROCEDURE Print (x: R0);
   BEGIN
      IF x IS R1 THEN Out.String("R1"); Out.Ln
      ELSIF x IS R2 THEN Out.String("R2"); Out.Ln END
   END Print;

   PROCEDURE Yes*;
   BEGIN
      NEW(r1);
      globalPointer :=  r1;
      
      WITH globalPointer: R1 DO
         Print(globalPointer);
         NEW(r2);
         (* globalPointer := r2;  такую операцию собрать невозможно, выдается ошибка *)
         Print(globalPointer); globalPointer.a := "jsdfdfkjghdfkdfghkjdffhgkjdhfgkjhdfkjghdfk";
      END
   END Yes;

   PROCEDURE Not (VAR localPointer: R0);
   BEGIN
      WITH localPointer: R1 DO
         Print(localPointer);
         NEW(r2);
         globalPointer := r2; (* А такую собрать можно, и будет ошибка работы с памятью *)
         Print(localPointer); localPointer.a := "jsdfdfkjghdfkdfghkjdffhgkjdhfgkjhdfkjghdfk";
      END
   END Not;
   
   PROCEDURE CrashTest*;
   BEGIN
      NEW(r1);
      globalPointer :=  r1;
      Not(globalPointer);
   END CrashTest;

BEGIN
END Test2.

^Q Test2.CrashTest