#9288: Type class overlapping instances check doesn't understand type equality
-------------------------------------+-------------------------------------
Reporter: ezyang | Owner:
Type: bug | Status: closed
Priority: low | Milestone:
Component: Compiler | Version: 7.9
(Type checker) | Keywords:
Resolution: invalid | Operating System: Unknown/Multiple
Differential Revisions: | Type of failure: GHC accepts
Architecture: | invalid program
Unknown/Multiple | Test Case:
Difficulty: Unknown | Blocking:
Blocked By: |
Related Tickets: |
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones