on master help sign in
Fix if - operator precedence mistake, fixes #911
commit22143e4abfcb9b09e08c22b5df36622cefeba3d3 authorPaul Koerbitz <paul.koerbitz@theppro.com> dateSat 10 May 2014, 16:50 (12 years ago) parent6669a26
1 file changed+6−6
src/Idris/Docs.hs+6−6
src/Idris/Docs.hs+6−6
@@ -90,13 +90,13 @@ pprintDocs ist (ClassDoc n doc meths params instances superclasses)
9090 vsep (if null instances' then [text "<no instances>"]
9191 else map dumpInstance instances'))
9292 <>
93− if null subclasses then empty
94− else line <$> nest 4 (text "Subclasses:" <$>
95− vsep (map (dumpInstance . prettifySubclasses) subclasses))
93+ (if null subclasses then empty
94+ else line <$> nest 4 (text "Subclasses:" <$>
95+ vsep (map (dumpInstance . prettifySubclasses) subclasses)))
9696 <>
97− if null superclasses then empty
98− else line <$> nest 4 (text "Default superclass instances:" <$>
99− vsep (map dumpInstance superclasses))
97+ (if null superclasses then empty
98+ else line <$> nest 4 (text "Default superclass instances:" <$>
99+ vsep (map dumpInstance superclasses)))
100100 where
101101 params' = zip pNames (repeat False)
102102