diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-04-24 21:28:43 -0400 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-04-24 21:28:43 -0400 |
commit | b1c266c4bd3d6cb53e37850ec3d620563473a1f7 (patch) | |
tree | 14563e84860607616465921057be59d13bed761f /compiler/iface/IfaceSyn.lhs | |
parent | 9e24b125bcad9d0e34aa4308b48849bc9ce31964 (diff) | |
download | haskell-b1c266c4bd3d6cb53e37850ec3d620563473a1f7.tar.gz |
Updated documentation; changed "group" to "branched" in type families
Diffstat (limited to 'compiler/iface/IfaceSyn.lhs')
-rw-r--r-- | compiler/iface/IfaceSyn.lhs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/iface/IfaceSyn.lhs b/compiler/iface/IfaceSyn.lhs index 7361f4bd06..a0e1a08f48 100644 --- a/compiler/iface/IfaceSyn.lhs +++ b/compiler/iface/IfaceSyn.lhs @@ -177,11 +177,11 @@ data IfaceClsInst -- match types, one per branch... but each "rough match types" is itself -- a list of Maybe IfaceTyCon. So, we get [[Maybe IfaceTyCon]]. data IfaceFamInst - = IfaceFamInst { ifFamInstFam :: IfExtName -- Family name - , ifFamInstGroup :: Bool -- Is this a group? - , ifFamInstTys :: [[Maybe IfaceTyCon]] -- See above - , ifFamInstAxiom :: IfExtName -- The axiom - , ifFamInstOrph :: Maybe OccName -- Just like IfaceClsInst + = IfaceFamInst { ifFamInstFam :: IfExtName -- Family name + , ifFamInstBranched :: Bool -- Is this branched? + , ifFamInstTys :: [[Maybe IfaceTyCon]] -- See above + , ifFamInstAxiom :: IfExtName -- The axiom + , ifFamInstOrph :: Maybe OccName -- Just like IfaceClsInst } data IfaceRule |