Commit 291b0f89 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only (on IfDataInstance)

parent 6bf11e67
...@@ -182,9 +182,11 @@ data IfaceClassBody ...@@ -182,9 +182,11 @@ data IfaceClassBody
data IfaceTyConParent data IfaceTyConParent
= IfNoParent = IfNoParent
| IfDataInstance IfExtName | IfDataInstance
IfaceTyCon IfExtName -- Axiom name
IfaceAppArgs IfaceTyCon -- Family TyCon (pretty-printing only, not used in TcIface)
-- see Note [Pretty printing via IfaceSyn] in PprTyThing
IfaceAppArgs -- Arguments of the family TyCon
data IfaceFamTyConFlav data IfaceFamTyConFlav
= IfaceDataFamilyTyCon -- Data family = IfaceDataFamilyTyCon -- Data family
...@@ -192,7 +194,7 @@ data IfaceFamTyConFlav ...@@ -192,7 +194,7 @@ data IfaceFamTyConFlav
| IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch])) | IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch]))
-- ^ Name of associated axiom and branches for pretty printing purposes, -- ^ Name of associated axiom and branches for pretty printing purposes,
-- or 'Nothing' for an empty closed family without an axiom -- or 'Nothing' for an empty closed family without an axiom
-- See Note [Pretty-printing via IfaceSyn] in PprTyThing -- See Note [Pretty printing via IfaceSyn] in PprTyThing
| IfaceAbstractClosedSynFamilyTyCon | IfaceAbstractClosedSynFamilyTyCon
| IfaceBuiltInSynFamTyCon -- for pretty printing purposes only | IfaceBuiltInSynFamTyCon -- for pretty printing purposes only
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment