Changes between Version 3 and Version 4 of ModuleDependencies


Ignore:
Timestamp:
May 17, 2006 2:58:04 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ModuleDependencies

    v3 v4  
    2222   * etc  
    2323 
    24     * Now comes the main subtle layer, involving types, classes, type constructors identifiers, expressions, rules, and their operations. 
    25           ** Name 
    26             PrimRep 
     24 * Now comes the main subtle layer, involving types, classes, type constructors identifiers, expressions, rules, and their operations. 
     25   * Name 
     26     PrimRep 
    2727 
    28           ** PrelNames 
    29  
    30           o Var (Name, loop IdInfo.IdInfo, loop Type.Type, loop Type.Kind) 
     28   * PrelNames 
     29     Var (Name, loop IdInfo.IdInfo, loop Type.Type, loop Type.Kind) 
    3130 
    3231          o VarEnv, VarSet, ThinAir