diff options
author | Neil Mitchell <unknown> | 2008-08-18 12:53:04 +0000 |
---|---|---|
committer | Neil Mitchell <unknown> | 2008-08-18 12:53:04 +0000 |
commit | 1f3b576d0fde01973367a3876878482449ea8194 (patch) | |
tree | 1d95e3132d5a12d550330adb12e2ac9de0ca27de | |
parent | dd31867c5cbfacda8dfb18acf8fba1923c5ddff1 (diff) |
Remove Explicit top-level forall's when pretty-printing signatures
-rw-r--r-- | src/Haddock/Backends/Hoogle.hs | 6 |
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 _ = [] |