aboutsummaryrefslogtreecommitdiff
path: root/haddock-api
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2019-01-23 11:46:46 -0800
committerGitHub <noreply@github.com>2019-01-23 11:46:46 -0800
commit53997f3db71d113bdad59548e3f16adfe90c112b (patch)
treedc3c45149c449a1cec2ec8d5546f4862ded53f0e /haddock-api
parenta6504507cb7f575dad63aa9f992cfc8d4f70c582 (diff)
Keep forall on H98 existential data constructors (#1003)
The information about whether or not there is a source-level `forall` is already available on a `ConDecl` (as `con_forall`), so we should use it instead of always assuming `False`! Fixes #1002.
Diffstat (limited to 'haddock-api')
-rw-r--r--haddock-api/src/Haddock/Backends/LaTeX.hs2
-rw-r--r--haddock-api/src/Haddock/Backends/Xhtml/Decl.hs4
2 files changed, 3 insertions, 3 deletions
diff --git a/haddock-api/src/Haddock/Backends/LaTeX.hs b/haddock-api/src/Haddock/Backends/LaTeX.hs
index 40ea916f..a84e7e45 100644
--- a/haddock-api/src/Haddock/Backends/LaTeX.hs
+++ b/haddock-api/src/Haddock/Backends/LaTeX.hs
@@ -758,9 +758,9 @@ ppSideBySideConstr subdocs unicode leader (L _ con) =
decl = case con of
ConDeclH98{ con_args = det
, con_ex_tvs = tyVars
+ , con_forall = L _ forall_
, con_mb_cxt = cxt
} -> let context = unLoc (fromMaybe (noLoc []) cxt)
- forall_ = False
header_ = ppConstrHdr forall_ tyVars context unicode
in case det of
-- Prefix constructor, e.g. 'Just a'
diff --git a/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs b/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
index 775e0c41..bc6e2c2b 100644
--- a/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
+++ b/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
@@ -800,9 +800,9 @@ ppShortConstrParts summary dataInst con unicode qual
= case con of
ConDeclH98{ con_args = det
, con_ex_tvs = tyVars
+ , con_forall = L _ forall_
, con_mb_cxt = cxt
} -> let context = unLoc (fromMaybe (noLoc []) cxt)
- forall_ = False
header_ = ppConstrHdr forall_ tyVars context unicode qual
in case det of
@@ -873,9 +873,9 @@ ppSideBySideConstr subdocs fixities unicode pkg qual (L _ con)
decl = case con of
ConDeclH98{ con_args = det
, con_ex_tvs = tyVars
+ , con_forall = L _ forall_
, con_mb_cxt = cxt
} -> let context = unLoc (fromMaybe (noLoc []) cxt)
- forall_ = False
header_ = ppConstrHdr forall_ tyVars context unicode qual
in case det of
-- Prefix constructor, e.g. 'Just a'