Changes between Version 1 and Version 2 of Ticket #13307, comment 2


Ignore:
Timestamp:
Feb 20, 2017 2:55:24 PM (3 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13307, comment 2

    v1 v2  
    1111module A( T( MkT, MkT2(..) ) where ...
    1212}}}
    13 to mean the same as `T( MkT, MkT2, x )`.  But we don't currently support that.
     13to mean the same as `T( MkT, MkT2, x )`.  But we don't currently support that (nested dot-dot notation).
    1414
    15 I suppose you could say that the notation `T( MkT, MkT2, .. )` means "T together with data constructor/pattern synonyms `MkT` and `MkT2`, plus their field names.  But that would be a (modest) design change.
     15I suppose you could alternatively say that the notation `T( MkT, MkT2, .. )` means "T together with data constructor/pattern synonyms `MkT` and `MkT2`, ''plus their field names''".  But that would be a (modest) design change.