Skip to content
  • Simon Peyton Jones's avatar
    Implement lookupTypeName/lookupValueName, and reification of type family instances · 54ee4dab
    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