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


Ignore:
Timestamp:
Oct 28, 2010 12:07:49 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v3 v4  
    1818 
    1919 * Generate meta-information empty datatypes and instances (`Datatype`, `Constructor`, and `Selector` instances) 
     20 
    2021 * Generate `Representable1` instances 
     22 
    2123 * Generic instances 
     24  * Add `deriving` as a keyword. This replaces the `DERIVABLE` pragma from the UHC implementation, and is attached to a default method on a class declaration. 
     25  * Change the `Class` definition to allow for generic defaults (in addition to standard defaults). 
     26  * Generate default instances for representable types which derive generic classes. 
     27 
     28== Current problems == 
     29 
     30 * When representations are generated for more than one datatype, assembler errors appear: {{{symbol `ghczmprim_GHCziGenerics_Representable0_closure' is already defined}}}