diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-09-13 09:18:25 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-09-13 11:35:00 +0100 |
| commit | 291b0f89703f28631a381549e1838aa06195d011 (patch) | |
| tree | eb46a2a804788efdbcec79ce037c1478c2a3fa29 | |
| parent | 6bf11e67f6be3db67b73bec08f437a784688bca0 (diff) | |
| download | haskell-291b0f89703f28631a381549e1838aa06195d011.tar.gz | |
Comments only (on IfDataInstance)
| -rw-r--r-- | compiler/iface/IfaceSyn.hs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/compiler/iface/IfaceSyn.hs b/compiler/iface/IfaceSyn.hs index 9fcf5dcbee..2784dda795 100644 --- a/compiler/iface/IfaceSyn.hs +++ b/compiler/iface/IfaceSyn.hs @@ -182,9 +182,11 @@ data IfaceClassBody data IfaceTyConParent = IfNoParent - | IfDataInstance IfExtName - IfaceTyCon - IfaceAppArgs + | IfDataInstance + IfExtName -- Axiom name + 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 = IfaceDataFamilyTyCon -- Data family @@ -192,7 +194,7 @@ data IfaceFamTyConFlav | IfaceClosedSynFamilyTyCon (Maybe (IfExtName, [IfaceAxBranch])) -- ^ Name of associated axiom and branches for pretty printing purposes, -- 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 | IfaceBuiltInSynFamTyCon -- for pretty printing purposes only |