Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/10c882760aea96a679a98bf76a603c1eeb99ecb8 >--------------------------------------------------------------- commit 10c882760aea96a679a98bf76a603c1eeb99ecb8 Author: Simon Peyton Jones <[email protected]> Date: Tue Aug 23 13:46:43 2011 +0100 Implement lookupTypeName/lookupValueName, and reification of type family instances This patch (and its TH 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' compiler/typecheck/TcHsType.lhs | 2 +- compiler/typecheck/TcSplice.lhs | 163 ++++++++++++++++++++++++++++---------- 2 files changed, 121 insertions(+), 44 deletions(-) Diff suppressed because of size. To see it, use: git show 10c882760aea96a679a98bf76a603c1eeb99ecb8 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
