@@ -112,6 +112,8 @@ multiLineComment = try (string "{-" *> (string "-}") *> pure ())
112 where inCommentChars :: MonadicParsing m => m ()
112 where inCommentChars :: MonadicParsing m => m ()
113 inCommentChars = try (string "-}" *> pure ())
113 inCommentChars = try (string "-}" *> pure ())
114 <|> try (multiLineComment *> inCommentChars)
114 <|> try (multiLineComment *> inCommentChars)
115+ <|> try (docComment '|' *> inCommentChars)
116+ <|> try (docComment '^' *> inCommentChars)
115 <|> try (skipSome (noneOf startEnd) *> inCommentChars)
117 <|> try (skipSome (noneOf startEnd) *> inCommentChars)
116 <|> oneOf startEnd *> inCommentChars
118 <|> oneOf startEnd *> inCommentChars
117 <?> "end of comment"
119 <?> "end of comment"