ghc bug?

[Jeff Polakow]

Hello,

This compiles fine:

    foo :: forall b. (b -> String, Int)
    foo = (const "hi", 0)
 
    bar :: (forall b. b -> String, Int)
    bar = (const "hi", 0)

but changing the definition of bar to:

    bar = foo

causes a type error.

-Jeff

---

This e-mail may contain confidential and/or privileged information. If you 
are not the intended recipient (or have received this e-mail in error) 
please notify the sender immediately and destroy this e-mail. Any 
unauthorized copying, disclosure or distribution of the material in this 
e-mail is strictly forbidden.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20081107/b80a602b/attachment.htm