Changes between Version 22 and Version 23 of PatternSynonyms


Ignore:
Timestamp:
Oct 22, 2013 12:50:57 PM (6 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v22 v23  
    6464but any `Tree`-specific pattern matching code you write will be wide and obscure. Turning these definitions into pattern synonyms means you can have both readable type-specific programs and handy generics without marshalling your data between views. 
    6565 
    66 == Pattern-only synonyms == 
     66== Uni-directional (pattern-only) synonyms == 
    6767 
    6868The simplest form of pattern synonyms is the one from the examples above.  The grammar rule is: