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

Show
Ignore:
Timestamp:
01/06/11 06:38:52 (2 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