diff --git a/Test.obn b/Test.obn
index f47edbbb416fd2154a0f16c7bfbaf310923269bc..8aea2558a93efbec45e4a9117831ef6c41a9542a 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
-IMPORT Files;
-
TYPE
- String = POINTER TO ARRAY OF CHAR;
- R* = RECORD ch : CHAR END;
+ Elem = POINTER TO ElemDesc;
+ ElemDesc = RECORD END;
-VAR
- f : Files.File;
- r : Files.Rider;
- m : R;
- s : String;
+ ElemMsg = RECORD END;
+ CopyMsg = RECORD (ElemMsg) a : Elem; END;
-BEGIN
- f := Files.Old("Test.obn");
- ASSERT(f # NIL);
- Files.Set(r, f, 0);
+ Alien = POINTER TO RECORD (ElemDesc) END;
- Files.Read(r, m.ch);
+PROCEDURE HandleAlien (VAR msg: ElemMsg);
+BEGIN
+ WITH msg: CopyMsg DO msg.a := NIL END
+END HandleAlien;
- ASSERT(s = NIL);
END Test.