Changes between Version 2 and Version 3 of PatternSynonyms/Implementation


Ignore:
Timestamp:
Jan 22, 2014 8:30:14 AM (18 months ago)
Author:
heisenbug
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms/Implementation

    v2 v3  
    2323collect universal & existential type variables and typeclass dictionary 
    2424variables to be used when creating `ConPatOut` patterns from pattern 
    25 synonym occurances, and generate some `HsBind`s: 
     25synonym occurences, and generate some `HsBind`s: 
    2626 
    2727* The `PatSyn` stores typing information for the pattern synonym, to