aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNeil Mitchell <unknown>2008-08-18 12:53:04 +0000
committerNeil Mitchell <unknown>2008-08-18 12:53:04 +0000
commit1f3b576d0fde01973367a3876878482449ea8194 (patch)
tree1d95e3132d5a12d550330adb12e2ac9de0ca27de
parentdd31867c5cbfacda8dfb18acf8fba1923c5ddff1 (diff)
Remove Explicit top-level forall's when pretty-printing signatures
-rw-r--r--src/Haddock/Backends/Hoogle.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Haddock/Backends/Hoogle.hs b/src/Haddock/Backends/Hoogle.hs
index 6847db92..86f4a20d 100644
--- a/src/Haddock/Backends/Hoogle.hs
+++ b/src/Haddock/Backends/Hoogle.hs
@@ -98,7 +98,11 @@ ppExport _ = []
ppSig :: Sig Name -> [String]
-ppSig (TypeSig name sig) = [operator (out name) ++ " :: " ++ out sig]
+ppSig (TypeSig name sig) = [operator (out name) ++ " :: " ++ out typ]
+ where
+ typ = case unL sig of
+ HsForAllTy Explicit a b c -> HsForAllTy Implicit a b c
+ x -> x
ppSig _ = []