• Simon Peyton Jones's avatar
    Refactor HsDecls again, to put family instances in InstDecl · f92591de
    Simon Peyton Jones authored
    This continues the clean up of the front end.  Since they
    were first invented, type and data family *instance* decls
    have been in the TyClDecl data type, even though they always
    treated separately.
    
    This patch takes a step in the right direction
      * The InstDecl type now includes both class instances and
        type/data family instances
    
      * The hs_tyclds field of HsGroup now never has any family
        instance declarations in it
    
    However a family instance is still a TyClDecl.  It should really
    be a separate type, but that's the next step.
    
    All this was provoked by fixing Trac #5792 in the HEAD.
    (I did a less invasive fix on the branch.)
    f92591de
DsMeta.hs 88.7 KB