summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run/TypeableEq.stdout
blob: bff6d9ee2c33c97724f21aca0c5b16b4cd3d9747 (plain)
1
2
3
4
5
6
7
8
9
10
good Maybe [Char] == Maybe Int?
good Maybe == Maybe?
good Proxy * [Char] == Proxy * Int?
good Proxy * == Proxy *?
good Product * (Const * [Char]) (Const * Int) Int == Product * (Const * [Char]) (Const * Char) Int?
good Product * (Const * [Char]) (Const * Int) == Product * (Const * [Char]) (Const * Char)?
good Product * (Const * [Char]) == Product * (Const * [Char])?
good Product * (Const * [Char]) (Const * Int) Int == Product * (Const * [Char]) (Const * Int) Char?
good Product * (Const * [Char]) (Const * Int) == Product * (Const * [Char]) (Const * Int)?
good Product * (Const * [Char]) == Product * (Const * [Char])?