Changes between Version 3 and Version 4 of ModuleDependencies


Ignore:
Timestamp:
May 17, 2006 2:58:04 PM (9 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