add test

anoma · Sep 6, 2024 · bed3a44 · bed3a44
1 parent e1a412e
commit bed3a44
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
@@ -258,6 +258,10 @@ tests =
       "Record field iterator"
       $(mkRelDir ".")
       $(mkRelFile "RecordIterator.juvix"),
+    posTest
+      "Forward reference name signature"
+      $(mkRelDir ".")
+      $(mkRelFile "issue2999.juvix"),
     posTest
       "Scan name with 'import' prefix"
       $(mkRelDir "issue2929")

diff --git a/tests/positive/issue2999.juvix b/tests/positive/issue2999.juvix
@@ -0,0 +1,7 @@
+module issue2999;
+
+type T := t;
+
+fun : T := namedFun@{x := t}; -- error
+
+namedFun (x : T) : T := t;