Changes between Version 2 and Version 3 of PatternSynonyms/Implementation


Ignore:
Timestamp:
Jan 22, 2014 8:30:14 AM (20 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