#5650: Type error when annotating a let binding with a forall type
---------------------------------+------------------------------------------
Reporter: pelotom | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 7.2.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by pelotom):
I also asked [http://stackoverflow.com/questions/7657827/fun-with-
impredicative-polymorphism-and-type-ascription this question on SO], which
seems like it may be a related. In that case, GHC 6.12.1 actually accepts
the type, whereas 7.x rejects it.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5650#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
