fix rebase

anoma · Oct 1, 2024 · 470f282 · 470f282
1 parent e077730
commit 470f282
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/test/Typecheck/Negative.hs b/test/Typecheck/Negative.hs
@@ -364,15 +364,15 @@ arityTests =
         _ -> wrongError,
     negTest "Evil: issue 2540" $(mkRelDir "Internal/Positivity") $(mkRelFile "Evil.juvix") $
       \case
-        ErrNonStrictlyPositive ErrTypeAsArgumentOfBoundVar {} -> Nothing
+        ErrNonStrictlyPositive {} -> Nothing
         _ -> wrongError,
     negTest "Evil: issue 2540 using Axiom" $(mkRelDir "Internal/Positivity") $(mkRelFile "EvilWithAxiom.juvix") $
       \case
-        ErrNonStrictlyPositive (ErrTypeAsArgumentOfBoundVar {}) -> Nothing
+        ErrNonStrictlyPositive {} -> Nothing
         _ -> wrongError,
     negTest "FreeT: issue 2540" $(mkRelDir "Internal/Positivity") $(mkRelFile "FreeT.juvix") $
       \case
-        ErrNonStrictlyPositive (ErrTypeAsArgumentOfBoundVar {}) -> Nothing
+        ErrNonStrictlyPositive {} -> Nothing
         _ -> wrongError
   ]