liquidhaskell-0.9.0.2.1: tests/pos/Test00_old.hs
module Test00_old () where import Language.Haskell.Liquid.Prelude x = choose 0 prop_abs = if x `gt` 0 then baz x else False baz :: Int -> Bool baz z = liquidAssertB (z `geq` 0)
module Test00_old () where import Language.Haskell.Liquid.Prelude x = choose 0 prop_abs = if x `gt` 0 then baz x else False baz :: Int -> Bool baz z = liquidAssertB (z `geq` 0)