Changes between Version 5 and Version 6 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Oct 29, 2010 9:16:21 AM (5 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v5 v6  
    3030 * When representations are generated for more than one datatype, assembler errors appear: {{{symbol `ghczmprim_GHCziGenerics_Representable0_closure' is already defined}}}
    3131
     32 * 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)...
     33
    3234 * Currently, in `TcDeriv.genGenericRepBind` we generate instances using `mkLocalInstance`. Is this right, or should we use `mkImportedInstance` instead?