negative test

anoma · Nov 20, 2024 · 2e14594 · 2e14594
1 parent e83d265
commit 2e14594
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/test/Scope/Negative.hs b/test/Scope/Negative.hs
@@ -298,5 +298,10 @@ scoperErrorTests =
       "Import cycles (issue3161)"
       $(mkRelDir "issue3161")
       $(mkRelFile "Stdlib/Trait/Partial.juvix")
-      $ wantsError ErrImportCycleNew
+      $ wantsError ErrImportCycleNew,
+    negTest
+      "Deriving statement wrong form"
+      $(mkRelDir ".")
+      $(mkRelFile "WrongDeriving.juvix")
+      $ wantsError ErrDerivingTypeWrongForm
   ]
diff --git a/tests/negative/WrongDeriving.juvix b/tests/negative/WrongDeriving.juvix
@@ -0,0 +1,5 @@
+module WrongDeriving;
+
+axiom A : Type;
+
+deriving instance i : A;