add positive test

anoma · Nov 21, 2024 · 4bc40ec · 4bc40ec
1 parent e274add
commit 4bc40ec
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 1 deletion.
diff --git a/test/Compilation/Positive.hs b/test/Compilation/Positive.hs
@@ -495,5 +495,10 @@ tests =
         "Test084: issue3030"
         $(mkRelDir ".")
         $(mkRelFile "test084.juvix")
-        $(mkRelFile "out/test084.out")
+        $(mkRelFile "out/test084.out"),
+      posTest
+        "Test085: Deriving Eq"
+        $(mkRelDir ".")
+        $(mkRelFile "test085.juvix")
+        $(mkRelFile "out/test085.out")
     ]
diff --git a/tests/Compilation/positive/test085.juvix b/tests/Compilation/positive/test085.juvix
@@ -0,0 +1,16 @@
+-- Deriving Eq
+module test085;
+
+import Stdlib.Data.Fixity open;
+import Stdlib.Data.Bool open;
+import Stdlib.Data.Pair open;
+import Stdlib.Trait.Eq open;
+import Stdlib.System.IO open;
+
+syntax alias isEqual := Eq.eq;
+
+main : IO :=
+  printLn (isEqual true true)
+    >>> printLn (not (isEqual false true))
+    >>> printLn (isEqual (false, true) (false, true))
+    >>> printLn (not (isEqual (false, true) (false, false)));