Changes between Version 11 and Version 12 of Attic/BeginnersNotes


Ignore:
Timestamp:
May 23, 2006 10:47:55 AM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Attic/BeginnersNotes

    v11 v12  
    1212 
    1313The compiler is, of course, found in the fptools/compiler directory.  Important subdirectories for hacking on the type system include:  
    14   * basicTypes (Name, Var, OccName) 
    15   * prelude (PrelNames, TysWiredIn) 
     14  * basicTypes (Name, Var, !OccName) 
     15  * prelude (!PrelNames, !TysWiredIn) 
    1616  * types 
    1717  * typecheck 
    18   * iface (IfaceType, BinIface) 
    19   * parser (ParserCore) 
     18  * iface (!IfaceType, !BinIface) 
     19  * parser (!ParserCore) 
    2020 
    2121The critical parts dealing with types are in the 'types' and 'typecheck' directories: 
    2222 
    23 === types === 
    24   * TypeRep.lhs 
     23'''types''' 
     24  * !TypeRep.lhs 
    2525    * The representation of types, the Type datatype, is defined here and exported concretely 
    2626    * A few crucial type constructors (like ->) are defined here in order to avoid excessive module loops 
    27   * TyCon.lhs 
    28     * The representation of type constructors, TyCon, is defined here and exported abstractly 
     27  * !TyCon.lhs 
     28    * The representation of type constructors, !TyCon, is defined here and exported abstractly 
    2929    * Construction and manipulation functions for type constructors are here 
    3030  * Type.lhs 
    31     * Contains the bulk of the type system, imports the concrete representation from TypeRep, and re-exports Type abstractly 
     31    * Contains the bulk of the type system, imports the concrete representation from !TypeRep, and re-exports Type abstractly