Changes between Version 2 and Version 3 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Oct 28, 2010 12:01:45 PM (5 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v2 v3  
    77== Main components ==
    88
    9  * `TcDeriv.tcDeriving` generates an `InstInfo` for each data type that '''fill in'''
     9 * `TcDeriv.tcDeriving` generates an `InstInfo` for each data type that fulfills the `isRep0` predicate. This `InstInfo` is the `Representable0` instance for that type, allowing it to be handled generically (by kind-`*` generic functions).
    1010
    11  * '''Say which library modules, in which packages, contain which data types and classes'''.
     11 * The representation types and core functionality of the library live on `GHC.Generics` (on the `ghc-prim` package).
    1212
     13 * Many names have been added as known in `prelude/PrelNames`
     14
     15 * Most of the code generation is handled by `types/Generics`
     16
     17== To do ==
     18
     19 * Generate meta-information empty datatypes and instances (`Datatype`, `Constructor`, and `Selector` instances)
     20 * Generate `Representable1` instances
     21 * Generic instances