[GHC] #7173: Unnecessary constraints in inferred type

[GHC]

#7173: Unnecessary constraints in inferred type
---------------------------------+------------------------------------------
    Reporter:  simonpj           |       Owner:                                
        Type:  bug               |      Status:  merge                         
    Priority:  normal            |   Milestone:  7.6.1                         
   Component:  Compiler          |     Version:  7.6.1-rc1                     
    Keywords:                    |          Os:  Unknown/Multiple              
Architecture:  Unknown/Multiple  |     Failure:  GHC rejects valid program     
  Difficulty:  Unknown           |    Testcase:  typecheck/should_compile/T7173
   Blockedby:                    |    Blocking:                                
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => merge
  * testcase:  => typecheck/should_compile/T7173
  * milestone:  => 7.6.1


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