diff --git a/Test.obn b/Test.obn
index babecff95eba9648125ff9e686de586d643d366e..8889d77c0c50802f40f632397a621a5dba4eaeea 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
+TYPE
+ PRec = POINTER TO Rec;
+ Rec = RECORD END;
+
+VAR
+ d : PRec;
+
+PROCEDURE X (z : INTEGER; a : SET; b : ARRAY OF CHAR) : PRec;
+BEGIN
+ RETURN NIL;
+END X;
+
BEGIN
- ASSERT(ODD(5));
+ d := X(1, {}, "xyz");
END Test.