extend test

anoma · Nov 28, 2024 · 1cdcb02 · 1cdcb02
1 parent f5e92a7
commit 1cdcb02
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/tests/Compilation/positive/out/test087.out b/tests/Compilation/positive/out/test087.out
@@ -3,3 +3,6 @@ LessThan
 GreaterThan
 LessThan
 GreaterThan
+LessThan
+GreaterThan
+Equal
diff --git a/tests/Compilation/positive/test087.juvix b/tests/Compilation/positive/test087.juvix
@@ -32,4 +32,12 @@ main : IO :=
     >>> printLn (compare (One, One) (One, Three))
     >>> printLn (compare (Four, Four) (Four, Three))
     >>> printLn
-      (compare (node leaf Four leaf) (node (node leaf One leaf) Two leaf));
+      (compare (node leaf Four leaf) (node (node leaf One leaf) Two leaf))
+    >>> printLn
+      (compare
+        (node (node leaf One leaf) Four leaf)
+        (node (node leaf One leaf) Two leaf))
+    >>> printLn
+      (compare
+        (node (node leaf One leaf) Four leaf)
+        (node (node leaf One leaf) Four leaf));