ref: 5bcc30b7813a7bd15717f44d57cfb0dcbab3c87e
dir: /tests/Eq.hs/
module Eq(main) where
import Prelude
main :: IO ()
main = do
putStrLn $ show [1==(1::Int), 'a'=='a', 1.1==(1.1::Double),
True==True, False==False,
(Nothing::Maybe Int)==Nothing, Just (1::Int) == Just 1,
[1,2,3] == [1,2,3::Int],
(1,2) == (1::Int,2::Int),
(Left 1 :: Either Int Char) == Left 1, (Right 'a' :: Either Int Char) == Right 'a'
]
putStrLn $ show [1==(2::Int), 'a'=='b', 1.1==(1.2::Double),
True==False, False==True,
Nothing==Just (1::Int), Just (1::Int) == Nothing,
[1,2,3] == [1,2,4::Int],
(1,2) == (1::Int,4::Int),
Left (1::Int) == Right 'a', Right 'a' == Left (1::Int)
]