#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
