liquidhaskell-0.9.0.2.1: tests/pos/Test2.hs

module Test2 () where

import Language.Haskell.Liquid.Prelude

myabs x = if x > 0 then x else 0 - x

n = choose 0

prop_absf = 
  let zz = (myabs n) >= 0 in
  liquidAssertB zz