add test

anoma · Sep 5, 2024 · 0ea967f · 0ea967f
1 parent 46e2109
commit 0ea967f
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 1 deletion.
diff --git a/test/Typecheck/Positive.hs b/test/Typecheck/Positive.hs
@@ -326,7 +326,11 @@ tests =
     posTestAbsDir
       "Typecheck orphan file"
       (relToProject $(mkRelDir "tests/WithoutPackageFile"))
-      $(mkRelFile "Good.juvix")
+      $(mkRelFile "Good.juvix"),
+    posTest
+      "Default argument with trait in signature"
+      $(mkRelDir ".")
+      $(mkRelFile "issue2994.juvix")
   ]
     <> [ compilationTest t | t <- Compilation.tests
        ]
diff --git a/tests/positive/issue2994.juvix b/tests/positive/issue2994.juvix
@@ -0,0 +1,12 @@
+module issue2994;
+
+type T := t;
+
+type Maybe (a : Type) :=
+  | nothing
+  | just a;
+
+trait
+type SomeTrait A := mkSomeTrait {baz : A -> T};
+
+bar {{SomeTrait T}} (value : T) {maybeValue : Maybe T := nothing} : T := t;