Changes between Initial Version and Version 1 of Ticket #5248
- Jun 9, 2011 7:15:05 PM (6 years ago)
Infer type context from type or data constructorto
Infer type context in a type signature
- Property Summary changed from
initial v1 11 11 }}} 12 12 13 GHC will demand Foo f =>on the instance declaration, even though this can be inferred from the definition of Bar. 13 GHC will demand on the instance declaration, even though this can be inferred from the definition of Bar. 14 14 15 15 I understand ''why'' this is happening, but it should not be necessary to repeat information already given. Some code violates DRY dozens of times because of this limitation.