Changes between Version 3 and Version 4 of Commentary/ModuleStructure


Ignore:
Timestamp:
Jan 7, 2013 11:58:51 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/ModuleStructure

    v3 v4  
    5757   * !CoreTidy (!HscTypes.!PersistentCompilerState)  
    5858 
     59== Typechecker stuff == 
     60 
     61 * !TcType 
     62 * !TcEvidence( !TcTupe ) 
     63 * !TcMType( !TcEvidence ) 
     64 * !TcUnify( !TcMType ) 
     65 * !TcSMonad( !TcMType ) 
     66 * !TcSimplify( !TcSMonad ) 
     67 * !TcValidity( !TcSimplify.simplifyTop, !TcUnify.tcSubType ) 
     68 * !TcHsType( !TcValidity.checkValidType, !TcValidity.checkValidInstance ) 
     69 
    5970== !HsSyn stuff == 
    6071 * !HsPat.hs-boot