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


Ignore:
Timestamp:
Oct 28, 2010 12:59:25 PM (5 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?