liquidhaskell-0.4.0.0: tests/neg/string00.hs

module Str0 () where

import Language.Haskell.Liquid.Prelude

foo = "dog"

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