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


Ignore:
Timestamp:
Jan 6, 2011 2:38:52 PM (3 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