liquidhaskell-0.9.0.2.1: tests/neg/Test00a.hs
{-@ LIQUID "--expect-any-error" @-}
module Test00a () where
import Language.Haskell.Liquid.Prelude
x = choose 0
prop_abs = if x > 0 then baz x else False
baz z = liquidAssertB (z >= 10)
{-@ LIQUID "--expect-any-error" @-}
module Test00a () where
import Language.Haskell.Liquid.Prelude
x = choose 0
prop_abs = if x > 0 then baz x else False
baz z = liquidAssertB (z >= 10)