[GHC] #3017: Type inference is broken when dealing with tuple type synonyms

[GHC]

#3017: Type inference is broken when dealing with tuple type synonyms
---------------------------------------------------+------------------------
    Reporter:  straka.milan                        |        Owner:  igloo  
        Type:  merge                               |       Status:  new    
    Priority:  normal                              |    Milestone:         
   Component:  Compiler                            |      Version:  6.10.1 
    Severity:  normal                              |   Resolution:         
    Keywords:                                      |   Difficulty:  Unknown
    Testcase:  indexed-types/should_compile/T3017  |           Os:  Linux  
Architecture:  x86                                 |  
---------------------------------------------------+------------------------
Changes (by simonpj):

  * testcase:  => indexed-types/should_compile/T3017
  * difficulty:  => Unknown
  * type:  bug => merge
  * owner:  => igloo

Comment:

 Well spotted. Fixed by
 {{{
 Wed Feb 11 17:47:33 GMT 2009  simonpj at microsoft.com
   * Fix Trac #3017: ensure that we quantify over enough type
                     variables when equalities are involved
  }}}
 Ian: push to the branch if the merge goes smoothly.

 Simon

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