liquidhaskell-0.8.0.2: tests/todo/err2.hs

-- | Error Message Test: liquid-ghc type divergence 

module Err1 where

import Language.Haskell.Liquid.Prelude

{-@ toss :: Int @-}
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