-
Simon Peyton Jones authored
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'
54ee4dab