Changes between Version 3 and Version 4 of PatternSynonyms/RecordPatternSynonyms


Ignore:
Timestamp:
Oct 29, 2015 4:10:40 PM (4 years ago)
Author:
mpickering
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms/RecordPatternSynonyms

    v3 v4  
    5252{{{
    5353e1 {bs} = case e1 of
    54                  (P f1 ... fn) -> P (pick_1 P bs f1) ... (pick_2 P bs fn)
     54                 (P f1 ... fn) -> P (pick_1 P bs f1) ... (pick_n P bs fn)
    5555}}}
    5656