Changes between Initial Version and Version 1 of Ticket #5248
- Jun 9, 2011 7:15:05 PM (3 years ago)
- Property Summary changed from Infer type context from type or data constructor to Infer type context in a type signature
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.