[GHC] #5051: Typechecker behaviour change

[GHC]

#5051: Typechecker behaviour change
-------------------------------------+-------------------------------------
              Reporter:  igloo       |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:  7.10.1
             Component:  Compiler    |           Version:  7.0.2
            Resolution:              |          Keywords:
Differential Revisions:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |         Test Case:
            Difficulty:  Unknown     |  typecheck/should_compile/T5051
            Blocked By:              |          Blocking:
       Related Tickets:              |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 As I say in comment:5, I think this is the right behaviour, so I don't
 propose to fix it at all.  Only leaving it open in case others trip over
 something similar.

 Simon

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5051#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler