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


Ignore:
Timestamp:
May 3, 2011 10:10:44 AM (3 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 ==