#4284: Adding parentheses introduces type error
---------------------------------------------+------------------------------
Reporter: jpbernardy | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.12.3
Resolution: fixed | Keywords: higher-rank
polymorphism
Testcase: typecheck/should_compile/T4284 | Blockedby:
Difficulty: | Os:
Unknown/Multiple
Blocking: | Architecture:
Unknown/Multiple
Failure: GHC rejects valid program |
---------------------------------------------+------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => typecheck/should_compile/T4284
* resolution: => fixed
Comment:
Good point, thank you. Works in the new typechecker, which is about to
become HEAD, so I'll close this. Added a regression test though.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4284#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
