liquidhaskell-0.8.0.2: tests/todo/err5.hs
module Test0 where import Language.Haskell.Liquid.Prelude x = choose 0 prop_abs = if x > 0 then baz x else False gob z = liquidAssertB (z `geq` 10) baz z = liquidAssertB (z `geq` 100)
module Test0 where import Language.Haskell.Liquid.Prelude x = choose 0 prop_abs = if x > 0 then baz x else False gob z = liquidAssertB (z `geq` 10) baz z = liquidAssertB (z `geq` 100)