[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:  new        
    Priority:  normal                                              |    Milestone:  6.10 branch
   Component:  Compiler (Type checker)                             |      Version:  6.8        
    Severity:  normal                                              |   Resolution:             
    Keywords:  type equality coercions symmetry order constraints  |   Difficulty:  Unknown    
          Os:  Unknown                                             |     Testcase:             
Architecture:  Unknown                                             |  
-------------------------------------------------------------------+--------
Changes (by simonpj):

  * owner:  => chak
  * milestone:  => 6.10 branch

Comment:

 These are bugs all right!  Thank you.

 Simon

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