[GHC] #2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x

[GHC]

#2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
-------------------------+--------------------------------------------------
    Reporter:  pizza     |        Owner:  chak       
        Type:  bug       |       Status:  closed     
    Priority:  normal    |    Milestone:  6.12 branch
   Component:  Compiler  |      Version:  6.10.1     
    Severity:  normal    |   Resolution:  fixed      
    Keywords:            |   Difficulty:  Unknown    
    Testcase:            |           Os:  Linux      
Architecture:  x86       |  
-------------------------+--------------------------------------------------
Changes (by chak):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 Works with the new pure equality solver in the HEAD.

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