Changes between Version 3 and Version 4 of PatternSynonyms/Implementation


Ignore:
Timestamp:
Jan 22, 2014 8:32:22 AM (13 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