Changes between Version 10 and Version 11 of PatternSynonyms


Ignore:
Timestamp:
Aug 11, 2013 8:18:33 AM (9 months ago)
Author:
heisenbug
Comment:

wording

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v10 v11  
    145145}}} 
    146146 
    147 One could go one step further and leave out the `pattern` keyword to obtain ''associated constructors'', which are required to be bidirectional. The capitalized constructor would indicate that a pattern synonym is being defined. For complicated cases one could resort to the `where` syntax (shown above). 
     147One could go one step further and leave out the `pattern` keyword to obtain ''associated constructors'', which are required to be bidirectional. The capitalized identifier would indicate that a pattern synonym is being defined. For complicated cases one could resort to the `where` syntax (shown above).