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`)