git.iko.soy/Idris-dev
on master help sign in
Enable word-wrapping in docstrings
8fe60a2David Raymond Christiansen
src/Idris/Docstrings.hs+1−1
compare with master
unifiedsplit
@@ -68,7 +68,7 @@ renderInlines = F.foldr (<>) empty . fmap renderInline
68
68
69renderInline :: CT.Inline -> Doc OutputAnnotation
69renderInline :: CT.Inline -> Doc OutputAnnotation
70renderInline (CT.Str s) = text $ T.unpack s
70renderInline (CT.Str s) = text $ T.unpack s
71−renderInline CT.Space = space
71+renderInline CT.Space = softline
72renderInline CT.SoftBreak = softline
72renderInline CT.SoftBreak = softline
73renderInline CT.LineBreak = line
73renderInline CT.LineBreak = line
74renderInline (CT.Emph txt) = annotate (AnnTextFmt ItalicText) $ renderInlines txt -- TODO
74renderInline (CT.Emph txt) = annotate (AnnTextFmt ItalicText) $ renderInlines txt -- TODO