Changes between Initial Version and Version 1 of Ticket #8026, comment 12


Ignore:
Timestamp:
Jul 19, 2013 9:18:38 AM (2 years ago)
Author:
gidyn
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8026, comment 12

    initial v1  
    11Replying to [comment:10 monoidal]:
    22> As far as I understand, the proposal is not sound.
    3 I think that there is some misunderstanding here. This is not proposing to change the actual type system, just that the DatatypeContexts extension should enable automatic context inference. This is similar to SPJ's `(...) =>` proposal, but tied to the extension which makes requires it, and without the syntactic noise.
     3I think that there is some misunderstanding here. This is not proposing to change the actual type system, just that the DatatypeContexts extension should enable automatic context inference. This is a more limited form of SPJ's `(...) =>` proposal, but tied to the extension which makes requires it, and without the syntactic noise.