[GHC] #1807: type equality coercions not symmetric + order dependent

[GHC]

#1807: type equality coercions not symmetric + order dependent
----------------------------------------------------------------+-----------
 Reporter:  guest                                               |          Owner:  chak       
     Type:  bug                                                 |         Status:  closed     
 Priority:  normal                                              |      Milestone:  6.10 branch
Component:  Compiler (Type checker)                             |        Version:  6.8        
 Severity:  normal                                              |     Resolution:  duplicate  
 Keywords:  type equality coercions symmetry order constraints  |     Difficulty:  Unknown    
 Testcase:                                                      |   Architecture:  Unknown    
       Os:  Unknown                                             |  
----------------------------------------------------------------+-----------
Changes (by chak):

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

Comment:

 This is a duplicate of #1919 combined with #1754.  The former has been
 fixed by SimonPJ, so I am marking this as duplicate for #1754 now.  (This
 applies to the original bug and Remi's example from two days ago.)

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