liquidhaskell-0.4.0.0: tests/neg/deppair0.hs

module Niki () where

import Language.Haskell.Liquid.Prelude

incr x = x + 1

baz x = (x, incr x)

prop :: Bool
prop = chk $ baz n
  where n = choose 100

chk (x, y) = liquidAssertB (x > y)