diff options
| author | jpmoresmau <jp@moresmau.fr> | 2014-11-16 16:22:48 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-10 01:35:31 +0000 |
| commit | d867ff18c6d23d792d070b17cc76cba35f69c649 (patch) | |
| tree | 16232b762e61a13b420a23e3e89865a37333e31a /haddock-api/src/Haddock | |
| parent | d453ce0df20a588e80287352954a79a4b3d70eb0 (diff) | |
header could contain several lines
Closes #348
Diffstat (limited to 'haddock-api/src/Haddock')
| -rw-r--r-- | haddock-api/src/Haddock/Backends/Hoogle.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Backends/Hoogle.hs b/haddock-api/src/Haddock/Backends/Hoogle.hs index 79ada0f7..dd2e7387 100644 --- a/haddock-api/src/Haddock/Backends/Hoogle.hs +++ b/haddock-api/src/Haddock/Backends/Hoogle.hs @@ -220,7 +220,7 @@ docWith :: Outputable o => DynFlags -> String -> Maybe (Doc o) -> [String] docWith _ [] Nothing = [] docWith dflags header d = ("":) $ zipWith (++) ("-- | " : repeat "-- ") $ - [header | header /= ""] ++ ["" | header /= "" && isJust d] ++ + lines header ++ ["" | header /= "" && isJust d] ++ maybe [] (showTags . markup (markupTag dflags)) d |