Changes between Version 26 and Version 27 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
May 3, 2011 10:10:44 AM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v26 v27  
    4444 * Generic defaults are properly instantiated when giving an instance without defining the generic default method.
    4545
     46 * Base types like `[]`, `Maybe`, tuples, come with Representable0 instances.
     47
    4648== To do ==
    4749
    4850 * Generate `Representable1` instances
    4951
    50  * What about base types like `[]`, `Maybe`, tuples, etc.?
     52 * Print also the Rep0 type instance when -ddump-deriving is on
    5153
    52  * Print also the Rep0 type instance when -ddump-deriving is on
     54 * Give better error messages when we cannot derive Representable0 (currently we say only `Cannot derive Representable`)
    5355
    5456== Testing ==