Use fail directive in test

Co-authored-by: Facundo Domínguez <facundominguez@gmail.com>
AlecsFerra · Nov 11, 2024 · 6db3ffc · 6db3ffc
1 parent 446d5c5
commit 6db3ffc
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/neg/RefinedProp.hs b/tests/neg/RefinedProp.hs
@@ -1,7 +1,5 @@
 {-# Language GADTs #-}
 
-{-@ LIQUID "--expect-any-error" @-}
-
 module RefinedProp where
 
 import Language.Haskell.Liquid.ProofCombinators
@@ -12,5 +10,6 @@ data Id where
 data ID = Id Int
 
 -- Should error as False is supposed to not be satisfied
+{-@ fail bad @-}
 {-@ bad :: { v:Prop (Id 12) | False } @-}
 bad = MkId