liquidhaskell-0.4.0.0: tests/neg/test00.hs
module Test0 () where import Language.Haskell.Liquid.Prelude x :: Int x = choose 0 prop_abs = if x > 0 then baz x else False baz :: Int -> Bool baz z = liquidAssertB (z `geq` 100)
module Test0 () where import Language.Haskell.Liquid.Prelude x :: Int x = choose 0 prop_abs = if x > 0 then baz x else False baz :: Int -> Bool baz z = liquidAssertB (z `geq` 100)