liquidhaskell-0.4.0.0: tests/pos/deptup3.hs

module Deptup () where

import Language.Haskell.Liquid.Prelude

data Pair a b = P a b

incr :: Int -> Int
incr x = x + 1

baz    :: Int -> Pair Int Int
baz x  = P x (incr x)

n :: Int
n           = choose 0

prop_baz    = chk (baz n) 

chk :: Pair Int Int -> Bool								
chk (P x y) = liquidAssertB (x <= y)