liquidhaskell-0.8.0.2: tests/todo/err3.hs

-- | Error Message Test: ghc parse error

module Err1 where

import Language.Haskell.Liquid.Prelude

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

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


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

goo = foo 12

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

zoo = incr 29