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


Ignore:
Timestamp:
Apr 5, 2011 7:18:47 AM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v18 v19  
    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.
     43
     44 * Generic defaults are properly instantiated when giving an instance without defining the generic default method.
     45
    4246== To do ==
     47
    4348 * Remove all of the old deriving mechanism stuff
    4449
     
    5459
    5560== Problems/questions ==
    56 
    57  * Currently, in `TcDeriv.genGenericRepBind` we generate instances using `mkLocalInstance`. Is this right, or should we use `mkImportedInstance` instead?  SLPJ: mkLocalInstance: it's as if the instance declaration was in this module, right?