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


Ignore:
Timestamp:
Oct 28, 2010 12:07:49 PM (5 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}}}