liquidhaskell-0.9.0.2.1: tests/neg/Test1.hs
{-@ LIQUID "--expect-any-error" @-}
module Test1 () where
import Language.Haskell.Liquid.Prelude
myabs x = if x `gt` 0 then x else 0 `minus` x
n = choose 0
prop_absf = liquidAssertB ((myabs n) `geq` 4)
{-@ LIQUID "--expect-any-error" @-}
module Test1 () where
import Language.Haskell.Liquid.Prelude
myabs x = if x `gt` 0 then x else 0 `minus` x
n = choose 0
prop_absf = liquidAssertB ((myabs n) `geq` 4)