liquidhaskell-0.4.0.0: tests/pos/test000.hs

module Test0 () where

import Language.Haskell.Liquid.Prelude

toss :: Bool 
toss = (choose 0) > 10

prop_abs :: Bool
prop_abs = if toss 
             then (if toss then liquidAssertB toss else False) 
             else False

foo :: Int -> Int
foo x = (liquidAssert (x > 0) x) + 1

goo = foo 12

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

zoo = incr 29