Update test/Typecheck/Negative.hs

Co-authored-by: Jan Mas Rovira <[email protected]>
anoma · Nov 30, 2023 · f242b04 · f242b04
1 parent fc359ab
commit f242b04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Typecheck/Negative.hs b/test/Typecheck/Negative.hs
@@ -264,7 +264,7 @@ negPositivityTests :: [NegTest]
 negPositivityTests =
   [ negTest "E1" $(mkRelDir "Internal/Positivity") $(mkRelFile "E1.juvix") $
       \case
-        ErrNonStrictlyPositive (ErrTypeInNegativePosition {}) -> Nothing
+        ErrNonStrictlyPositive ErrTypeInNegativePosition {} -> Nothing
         _ -> wrongError,
     negTest "E2" $(mkRelDir "Internal/Positivity") $(mkRelFile "E2.juvix") $
       \case