Changes between Version 19 and Version 20 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Apr 28, 2011 9:58:34 AM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v19 v20  
    4040 * `Representable0` instances are automatically generated when `-XGenerics` is enabled. 
    4141 
    42  * There is a new `generic` keyword to be used for generic default method signatures. 
     42 * The `default` keyword can now be used for generic default method signatures. 
    4343 
    4444 * Generic defaults are properly instantiated when giving an instance without defining the generic default method. 
     
    4646== To do == 
    4747 
    48  * Remove all of the old deriving mechanism stuff 
    49  
    50  * Properly deal with isTuple information for constructors 
    51  
    5248 * Generate `Representable1` instances 
    5349 
    54  * What about base types like `[]`, `Maybe`, etc.? 
     50 * What about base types like `[]`, `Maybe`, tuples, etc.? 
    5551 
    5652== Testing == 
    5753 
    58  * For temporary testing, a file test/Main.hs is available with sample datatypes. 
     54 * Tests are available under the `generics` directory of the testsuite. 
    5955 
    6056== Problems/questions ==