on master help sign in
Fix if - operator precedence mistake, fixes #911
22143e4Paul Koerbitz
src/Idris/Docs.hs+6−6
@@ -90,13 +90,13 @@ pprintDocs ist (ClassDoc n doc meths params instances superclasses)
90 vsep (if null instances' then [text "<no instances>"]
90 vsep (if null instances' then [text "<no instances>"]
91 else map dumpInstance instances'))
91 else map dumpInstance instances'))
92 <>
92 <>
93− if null subclasses then empty
93+ (if null subclasses then empty
94− else line <$> nest 4 (text "Subclasses:" <$>
94+ else line <$> nest 4 (text "Subclasses:" <$>
95− vsep (map (dumpInstance . prettifySubclasses) subclasses))
95+ vsep (map (dumpInstance . prettifySubclasses) subclasses)))
96 <>
96 <>
97− if null superclasses then empty
97+ (if null superclasses then empty
98− else line <$> nest 4 (text "Default superclass instances:" <$>
98+ else line <$> nest 4 (text "Default superclass instances:" <$>
99− vsep (map dumpInstance superclasses))
99+ vsep (map dumpInstance superclasses)))
100 where
100 where
101 params' = zip pNames (repeat False)
101 params' = zip pNames (repeat False)
102
102