liquidhaskell-0.9.0.2.1: tests/pos/Test00b.hs
module Test00b () where import Language.Haskell.Liquid.Prelude x = choose 0 foo x = x prop_abs = if x > 0 then baz (foo x) else False baz :: (Num a, Ord a) => a -> Bool baz z = liquidAssertB (z > 0)
module Test00b () where import Language.Haskell.Liquid.Prelude x = choose 0 foo x = x prop_abs = if x > 0 then baz (foo x) else False baz :: (Num a, Ord a) => a -> Bool baz z = liquidAssertB (z > 0)