liquidhaskell-0.9.0.2.1: tests/neg/String00.hs

{-@ LIQUID "--expect-any-error" @-}
module String00 () where

import Language.Haskell.Liquid.Prelude

foo = "dog"

prop1 = liquidAssertB (0 == 1)
prop2 = liquidAssertB (1 /= 1)