MODULE Test;
-IMPORT SYSTEM, Out;
+TYPE
+ PRec = POINTER TO Rec;
+ Rec = RECORD END;
VAR
- i : INTEGER;
+ d : PRec;
+PROCEDURE X (z : INTEGER; a : SET; b : ARRAY OF CHAR) : PRec;
BEGIN
- i := -32;
- Out.Int(SYSTEM.LSH(i, -5), 0); Out.Char(" "); Out.Int(SYSTEM.LSH(-32, -5), 0); Out.Ln;
- ASSERT(SYSTEM.LSH(i, -5) = SYSTEM.LSH(-32, -5));
+ RETURN NIL;
+END X;
+
+BEGIN
+ d := X(1, {}, "xyz");
END Test.
