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


Ignore:
Timestamp:
Oct 28, 2010 12:01:45 PM (3 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