Changes between Version 10 and Version 11 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:30:54 PM (8 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