From 1f3b576d0fde01973367a3876878482449ea8194 Mon Sep 17 00:00:00 2001 From: Neil Mitchell Date: Mon, 18 Aug 2008 12:53:04 +0000 Subject: Remove Explicit top-level forall's when pretty-printing signatures --- src/Haddock/Backends/Hoogle.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src') 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 _ = [] -- cgit v1.2.3