Changes between Version 9 and Version 10 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Dec 6, 2010 11:19:12 AM (5 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v9 v10  
    3232== Problems/questions ==
    3333
    34  * When representations are generated for more than one datatype, assembler errors appear: {{{symbol `ghczmprim_GHCziGenerics_Representable0_closure' is already defined}}}
    35 
    36  * For meta-information, we need to generate a bunch of empty datatypes per user datatype declaration. Where can/should we do this? `TcDeriv` seems to be "too late", since we can only add instances or top-level value bindings (as the old generic mechanism did)...
    37 
    3834 * 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?