Changes between Version 10 and Version 11 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Dec 17, 2010 10:38:08 AM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v10 v11  
    1616 
    1717== To do == 
     18 * Remove all of the old deriving mechanism stuff 
    1819 
    1920 * Generate meta-information empty datatypes and instances (`Datatype`, `Constructor`, and `Selector` instances)