Changes between Version 10 and Version 11 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:30:54 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v10 v11  
    166166=== GADTs ===
    167167
    168  representation
     168 * representation
    169169 
    170  wrappers
     170 * wrappers
    171171
    172172
     
    202202== Core (the intermediate language) ==
    203203
    204 Exprs
    205 
    206 Casts
    207 
    208 Typechecking
    209 
    210  - Environments and substitution
     204 * Exprs
     205
     206 * Casts
     207
     208 * Typechecking
     209
     210    * Environments and substitution
    211211
    212212== Simplification ==
    213213
    214 exprIsConApp_maybe
    215 
    216 simplExpr
    217 
     214 * exprIsConApp_maybe
     215
     216 * simplExpr
     217