[Haskell-cafe] [] == []

[Paul Keir]

Hi all,

GHC is not happy with this:

f = [] == []

nor this:

f' = ([]::(Eq a) => [a]) == ([]::(Eq a) => [a])

but this is OK:

f'' = ([]::[Integer]) == ([]::[Integer])

GHCI is comfortable with [] == [], so why not GHC? 'Just curious.

Cheers,
Paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090529/5d5bef6a/attachment.html