Changes between Version 3 and Version 4 of PatternSynonyms/Implementation


Ignore:
Timestamp:
Jan 22, 2014 8:32:22 AM (20 months ago)
Author:
heisenbug
Comment:

more typos

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms/Implementation

    v3 v4  
    2323collect universal & existential type variables and typeclass dictionary
    2424variables to be used when creating `ConPatOut` patterns from pattern
    25 synonym occurences, and generate some `HsBind`s:
     25synonym occurrences, and generate some `HsBind`s:
    2626
    2727* The `PatSyn` stores typing information for the pattern synonym, to
     
    3737  constructor wrapper.
    3838
    39 Pattern synonym occurances in patterns are turned into `ConPatOut`s
     39Pattern synonym occurrences in patterns are turned into `ConPatOut`s
    4040just like regular constructor matches. `ConPatOut` has been changed to
    4141store a `ConLike` instead of a `DataCon`; the `ConLike` type is simply
     
    8989}}}
    9090
    91 Occurances of pattern synonyms are then desugared into calls to this
     91Occurrences of pattern synonyms are then desugared into calls to this
    9292matcher function. This allows pattern synonym definitions to be just
    9393as opaque as function definitions: their type defines their interface