aboutsummaryrefslogtreecommitdiff
path: root/src/Haddock
diff options
context:
space:
mode:
authorDavid Waern <davve@dtek.chalmers.se>2007-09-29 13:16:39 +0000
committerDavid Waern <davve@dtek.chalmers.se>2007-09-29 13:16:39 +0000
commitb41afcbad12d337e268ca5464a4e6d4311708fef (patch)
tree8b3c876fac6911d6db808cfe9a3aa62c58c60499 /src/Haddock
parent986cbbb33324b112bff07097ec893734f531e090 (diff)
FIX: consym data headers with more than two variables
Diffstat (limited to 'src/Haddock')
-rw-r--r--src/Haddock/Backends/Html.hs33
1 files changed, 27 insertions, 6 deletions
diff --git a/src/Haddock/Backends/Html.hs b/src/Haddock/Backends/Html.hs
index c44a3e8d..a958cb75 100644
--- a/src/Haddock/Backends/Html.hs
+++ b/src/Haddock/Backends/Html.hs
@@ -1110,13 +1110,34 @@ ppDataHeader summary decl
(if tcdND decl == NewType then keyword "newtype" else keyword "data") <+>
-- context
ppLContext (tcdCtxt decl) <+>
- -- T a b c ..., or a :+: b
- (if isConSym name
- then ppName (tyvars!!0) <+> ppBinder summary name <+> ppName (tyvars!!1)
- else ppBinder summary name <+> hsep (map ppName tyvars))
+ -- T a b c ..., or a :+: b
+ ppDataHead summary (orig $ tcdLName decl) (tyvarNames $ tcdTyVars decl)
+
+
+-- | data context => ... =
+-- ^ Print this part of a data/newtype declaration
+ppDataHead :: Bool -> Name -> [Name] -> Html
+ppDataHead summary name tyvars
+
+ -- (a :+: b) c d
+ | isConSym name && length tyvars > 2 = parens first2 <+> rest
+
+ -- a :+: b
+ | isConSym name = first2
+
+ -- Would like a case for:
+ -- a `O` b
+ -- and (a `O` b) c
+ -- but GHC doesn't keep this information
+
+ -- T a b c
+ | otherwise = ppBinder summary name <+> hsep (map ppName tyvars)
+
where
- tyvars = tyvarNames $ tcdTyVars decl
- name = orig $ tcdLName decl
+ first2 = ppName a <+> ppBinder summary name <+> ppName b
+ rest = hsep $ map ppName restTypes
+ a:b:restTypes = tyvars
+
-- ----------------------------------------------------------------------------
-- Types and contexts