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?