git.iko.soy/Idris-dev
on master help sign in
Instance docs: align instance doc with member doc
8855d25Adam Sandberg Eriksson
src/Idris/Docs.hs+9−9
compare with master
unifiedsplit
@@ -119,15 +119,15 @@ pprintDocs ist (ClassDoc n doc meths params instances superclasses)
119 infixes = idris_infixes ist
119 infixes = idris_infixes ist
120
120
121 pprintInstance (term, doc) =
121 pprintInstance (term, doc) =
122− nest 2 (dumpInstance term <>
122+ nest 4 (dumpInstance term <>
123− if nullDocstring doc
123+ if nullDocstring doc
124− then empty
124+ then empty
125− else line <>
125+ else line <>
126− renderDocstring
126+ renderDocstring
127− (renderDocTerm
127+ (renderDocTerm
128− (pprintDelab ist)
128+ (pprintDelab ist)
129− (normaliseAll (tt_ctxt ist) []))
129+ (normaliseAll (tt_ctxt ist) []))
130− doc)
130+ doc)
131
131
132 dumpInstance :: PTerm -> Doc OutputAnnotation
132 dumpInstance :: PTerm -> Doc OutputAnnotation
133 dumpInstance = pprintPTerm ppo params' [] infixes
133 dumpInstance = pprintPTerm ppo params' [] infixes
test/interactive008/expected+1−1
@@ -11,5 +11,5 @@ Methods:
11
11
12Instances:
12Instances:
13 C A
13 C A
14− instance of class
14+ instance of class
15*interactive008> Bye bye
15*interactive008> Bye bye