diff --git a/Test.obn b/Test.obn
index f76917867cb0d1bcb880b7e0cf655f116919947f..f5f060074bc991c58ed398d78be0dd3e5c5ed6be 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
-VAR
- i : SHORTINT;
- s : SET;
+IMPORT SYSTEM, Out;
-PROCEDURE X;
-END X;
+VAR
+ i : INTEGER;
BEGIN
- i := SHORT(12345);
+ 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));
END Test.