Changes between Version 12 and Version 13 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Jan 6, 2011 2:38:52 PM (5 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v12 v13  
    1515 * Most of the code generation is handled by `types/Generics`
    1616
     17== What already works ==
     18
     19 * Representable0 instances are automatically generated when -XGenerics is enabled.
     20
    1721== To do ==
    1822 * Remove all of the old deriving mechanism stuff
     
    2125
    2226 * Generate `Representable1` instances
     27
     28 * What about base types like [], Maybe, etc.?
    2329
    2430 * Generic instances