ghc bug?
Jeff Polakow
jeff.polakow at db.com
Fri Nov 7 11:33:33 EST 2008
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
More information about the Glasgow-haskell-users
mailing list