Skip to content
Snippets Groups Projects
Commit d867ff18 authored by JeanPhilippeMoresmau's avatar JeanPhilippeMoresmau Committed by Mateusz Kowalczyk
Browse files

header could contain several lines

Closes #348
parent d453ce0d
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment