add negative test

anoma · Sep 13, 2024 · c0ecdbc · c0ecdbc
1 parent 0d58b61
commit c0ecdbc
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/test/Parsing/Negative.hs b/test/Parsing/Negative.hs
@@ -82,6 +82,13 @@ parserErrorTests =
       $ \case
         ErrMegaparsec {} -> Nothing
         _ -> wrongError,
+    negTest
+      "Missing @ in named application"
+      $(mkRelDir ".")
+      $(mkRelFile "NamedApplicationMissingAt.juvix")
+      $ \case
+        ErrNamedApplicationMissingAt {} -> Nothing
+        _ -> wrongError,
     negTest
       "Error on local instances"
       $(mkRelDir ".")

diff --git a/tests/negative/NamedApplicationMissingAt.juvix b/tests/negative/NamedApplicationMissingAt.juvix
@@ -0,0 +1,8 @@
+module NamedApplicationMissingAt;
+
+type T := t;
+
+fun (a : T)
+ : T := t;
+
+main : T := fun {a := t};