[Oberon] Stack overflow in ORB.OutType

Andreas Pirklbauer andreas_pirklbauer at yahoo.com
Sat Aug 8 13:42:49 CEST 2020


Multiple possible ways to detect when a field of a private record is
exported, as for example shown in module A

    MODULE A;
      TYPE X* = POINTER TO XD;
        XD = RECORD
          a*: POINTER TO XD;   (*field a of a private record XD is exported*)
        END;
    END A.

    MODULE B;
       IMPORT A;
       PROCEDURE P*(a: A.X);
       END P;
     END B.

are provided at: 

http://github.com/andreaspirklbauer/Oberon-detect-invalid-record-field-exports




More information about the Oberon mailing list