Changes between Version 11 and Version 12 of Attic/BeginnersNotes


Ignore:
Timestamp:
May 23, 2006 10:47:55 AM (9 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