Changes between Version 38 and Version 39 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
May 9, 2011 7:46:13 AM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v38 v39  
    3838 * Generate `Generic1` instances
    3939
    40  * Print also the Rep type instance when -ddump-deriving is on
     40 * Print also the `Rep` type instance when -ddump-deriving is on
    4141
    4242 * Give better error messages when we cannot derive Generic (currently we say only `Cannot derive Generic`)