liquidhaskell-0.8.6.0: tests/pos/CharLiterals.hs
-- see #1286
module Example where
{-@ fails :: {v:Bool | v} @-}
fails = 'a' == 'a'
{-@ ok :: {v:Bool | v} @-}
ok = "a" == "a"
-- see #1286
module Example where
{-@ fails :: {v:Bool | v} @-}
fails = 'a' == 'a'
{-@ ok :: {v:Bool | v} @-}
ok = "a" == "a"