summaryrefslogtreecommitdiff
path: root/compiler/iface/IfaceSyn.lhs
diff options
context:
space:
mode:
authorRichard Eisenberg <eir@cis.upenn.edu>2013-04-24 21:28:43 -0400
committerRichard Eisenberg <eir@cis.upenn.edu>2013-04-24 21:28:43 -0400
commitb1c266c4bd3d6cb53e37850ec3d620563473a1f7 (patch)
tree14563e84860607616465921057be59d13bed761f /compiler/iface/IfaceSyn.lhs
parent9e24b125bcad9d0e34aa4308b48849bc9ce31964 (diff)
downloadhaskell-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.lhs10
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