#9747: Odd failure to deduce a constraint
-------------------------------------+-------------------------------------
Reporter: acowley | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.3
Resolution: fixed | Keywords: TypeFamilies
Operating System: | ConstraintKinds
Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: | Difficulty: Unknown
None/Unknown | Blocked By:
Test Case: indexed- | Related Tickets:
types/should_compile/T9747 |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones