Enable word-wrapping in docstrings
Now, docstrings will be rendered to the console with word-wrapping.
commit8fe60a2975165f5c1f8736d491f1a338fa5c072d
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 21 Apr 2014, 07:51 (13 years ago)
parent1080689
src/Idris/Docstrings.hs+1−1
@@ -68,7 +68,7 @@ renderInlines = F.foldr (<>) empty . fmap renderInline
6868
6969renderInline :: CT.Inline -> Doc OutputAnnotation
7070renderInline (CT.Str s) = text $ T.unpack s
71−renderInline CT.Space = space
71+renderInline CT.Space = softline
7272renderInline CT.SoftBreak = softline
7373renderInline CT.LineBreak = line
7474renderInline (CT.Emph txt) = annotate (AnnTextFmt ItalicText) $ renderInlines txt -- TODO