[commit: template-haskell] master: Implement lookupTypeName/lookupValueName, and reification of type family instances (02362d1)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/template-haskell

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/02362d12e5ae0af20d637eec97db51f6827a1625

>---------------------------------------------------------------

commit 02362d12e5ae0af20d637eec97db51f6827a1625
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Aug 23 13:47:19 2011 +0100

    Implement lookupTypeName/lookupValueName, and reification of type family instances
    
    This patch (and its GHC counterpart) implements
       Trac #4429 (lookupTypeName, lookupValueName)
       Trac #5406 (reification of type/data family instances)
    
    See detailed discussion in those tickets.
    
    TH.ClassInstance is no more; instead reifyInstances returns a [Dec],
    which requires fewer data types and natuarally accommodates family
    instances.
    
    'reify' on a type/data family now returns 'FamilyI', a new data
    constructor in 'Info'

 Language/Haskell/TH.hs        |    9 ++---
 Language/Haskell/TH/Ppr.hs    |   14 ++------
 Language/Haskell/TH/Syntax.hs |   74 ++++++++++++++++++++++++----------------
 3 files changed, 51 insertions(+), 46 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 02362d12e5ae0af20d637eec97db51f6827a1625