[GHC] #3554: ASSERT failed! file TcMType.lhs line 349

[GHC]

#3554: ASSERT failed! file TcMType.lhs line 349
----------------------------------------+-----------------------------------
    Reporter:  simonmar                 |        Owner:  chak            
        Type:  bug                      |       Status:  new             
    Priority:  normal                   |    Milestone:  6.12.2          
   Component:  Compiler (Type checker)  |      Version:  6.10.4          
    Severity:  normal                   |   Resolution:                  
    Keywords:                           |   Difficulty:  Unknown         
    Testcase:  T2627b                   |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Comment (by chak):

 This is one of the remaining cases, where a type variable is instantiated
 twice, due to the current imperfect interaction between the equality
 solver and the rest of TcSimplify.  This will probably only get fixed once
 we have the new implementation of implications constraints.

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