liquidhaskell-0.8.0.2: tests/todo/read.hs

module Read where

import Language.Haskell.Liquid.Prelude

data Foo = Foo deriving Read

bad  = liquidAssertB (0 == 1)
bad' = liquidAssert  (0 == 1) True