@@ -156,9 +156,11 @@ multiLineComment = try (string "{-" *> (string "-}") *> pure ())
156156docComment :: IdrisParser (Docstring, [(Name, Docstring)])
157157docComment = do dc <- pushIndent *> docCommentLine
158158 rest <- many (indented docCommentLine)
159− args <- many (indented argDocCommentLine)
159+ args <- many $ do (name, first) <- indented argDocCommentLine
160+ rest <- many (indented docCommentLine)
161+ return (name, concat (intersperse "\n" (first:rest)))
160162 popIndent
161− return (parseDocstring $ T.pack (concat . intersperse "\n" $ dc:rest),
163+ return (parseDocstring $ T.pack (concat (intersperse "\n" (dc:rest))),
162164 map (\(n, d) -> (n, parseDocstring (T.pack d))) args)
163165
164166 where docCommentLine :: MonadicParsing m => m String
@@ -170,6 +172,7 @@ docComment = do dc <- pushIndent *> docCommentLine
170172 eol ; someSpace
171173 return contents)-- ++ concat rest))
172174 <?> ""
175+
173176 argDocCommentLine = do string "|||"
174177 many (satisfy isSpace)
175178 char '@'