liquidhaskell-0.8.6.0: tests/neg/CharLiterals.hs

-- see #1286

module Example where

{-@ fails :: {v:Bool | v} @-}
fails =  'a' == 'b'

{-@ ok :: {v:Bool | v} @-}
ok = "a" == "a"