Test00b.hs

{-@ LIQUID "--expect-any-error" @-}
module Test00b () where

import Language.Haskell.Liquid.Prelude

x = choose 0

foo ::  Num a => a -> a
foo x = 0 - x

prop_abs ::  Bool
prop_abs = if x > 0 then baz (foo x) else False

baz ::  (Num a, Ord a) => a -> Bool
baz z = liquidAssertB (z > 0)