MODULE Test;
-TYPE
- R1 = RECORD END;
-(* R2 = RECORD (R1) END; *)
- R3 = RECORD END;
-
-VAR
-(*
- a : R1;
- b : R2;
-*)
- c : R3;
+IMPORT Out;
BEGIN
-(* a := b; *)
+ IF "abc" = "abc" THEN
+ Out.String("Equal abc = abc"); Out.Ln;
+ ELSE
+ Out.String("WAT: MUST BE abc = abc"); Out.Ln;
+ END;
+
+ IF "cba" > "abc" THEN
+ Out.String("Great cba > abc"); Out.Ln;
+ ELSE
+ Out.String("WAT: MUST BE cba = abc"); Out.Ln;
+ END;
+
+ IF "abc" < "bc" THEN
+ Out.String("Less abc < bc"); Out.Ln;
+ ELSE
+ Out.String("WAT: MUST BE abc < bc"); Out.Ln;
+ END;
END Test.