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

Show
Ignore:
Timestamp:
10/28/10 05:59:25 (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler/GenericDeriving

    v4 v5  
    1 = The new Generic Deriving mechanism = 
     1= The new Generic Deriving mechanism (ongoing work) = 
    22 
    33GHC includes a new (in 2010) mechanism to let you write generic functions.  It is described in [http://www.dreixel.net/research/pdf/gdmh_nocolor.pdf A generic deriving mechanism for Haskell], by Magalhães, Dijkstra, Jeuring and Löh.  This page sketches the specifics of the implementation; we assume you have read the paper. 
    … …  
    2626  * Generate default instances for representable types which derive generic classes. 
    2727 
    28 == Current problems == 
     28== Problems/questions == 
    2929 
    3030 * When representations are generated for more than one datatype, assembler errors appear: {{{symbol `ghczmprim_GHCziGenerics_Representable0_closure' is already defined}}} 
     31 
     32 * Currently, in `TcDeriv.genGenericRepBind` we generate instances using `mkLocalInstance`. Is this right, or should we use `mkImportedInstance` instead?