#1123: Impredicativity bug: forall not hoisted properly
---------------------------------------------------+------------------------
Reporter: Ashley Yakeley <ash...@…> | Owner: simonpj
Type: bug | Status: closed
Priority: low | Milestone: 7.0.1
Component: Compiler | Version: 6.6
Resolution: fixed | Keywords:
Testcase: typecheck/should_compile/T1123 | Blockedby:
Difficulty: Unknown | Os:
Unknown/Multiple
Blocking: | Architecture:
Unknown/Multiple
Failure: None/Unknown |
---------------------------------------------------+------------------------
Changes (by simonpj):
* status: new => closed
* failure: => None/Unknown
* resolution: => fixed
* testcase: => typecheck/should_compile/T1123
Comment:
The original test, and the `runA2` one boh work fine with the new
typechecker.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1123#comment:16>
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
