[GHC] #4284: Adding parentheses introduces type error

[GHC]

#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