@@ -13,7 +13,7 @@ import Idris.ErrReverse
1313import Idris.Delaborate
1414import Idris.Docstrings (Docstring, overview, renderDocstring)
1515import Idris.Prover
16−import Idris.Parser
16+import Idris.Parser hiding (indent)
1717import Idris.Primitives
1818import Idris.Coverage
1919import Idris.UnusedArgs
@@ -998,19 +998,26 @@ classInfo :: ClassInfo -> Idris (Doc OutputAnnotation)
998998classInfo ci = do ist <- getIState
999999 ctxt <- getContext
10001000 return $
1001+ text "Parameters:" <+>
1002+ hsep (punctuate comma (map (prettyName False params') params)) <>
1003+ line <> line <>
10011004 text "Methods:" <> line <>
1002− vsep (map (dumpMethod ist) (class_methods ci)) <> line <> line <>
1003− text "Default superclass instances:" <> line <>
1004− vsep (map (dumpDefaultInstance ist) (class_default_superclasses ci)) <> line <>
1005+ indent 2 (vsep (map (dumpMethod ist) (class_methods ci))) <> line <> line <>
1006+ text "Default superclass instances:" <>
1007+ line <>
1008+ indent 2 (vsep (map (dumpDefaultInstance ist) (class_default_superclasses ci))) <>
1009+ line <>
10051010 text "Instances:" <> line <>
1006− vsep (map (dumpInstance ist ctxt) (class_instances ci))
1011+ indent 2 (vsep (map (dumpInstance ist ctxt) (class_instances ci)))
10071012 where dumpMethod :: IState -> (Name, (FnOpts, PTerm)) -> Doc OutputAnnotation
10081013 dumpMethod ist (n, (_, t)) = prettyName False [] n <+> colon <+> pp ist t
10091014 dumpDefaultInstance :: IState -> PDecl -> Doc OutputAnnotation
10101015 dumpDefaultInstance ist (PInstance _ _ _ _ _ t _ _) = pp ist t
10111016 dumpInstance :: IState -> Context -> Name -> Doc OutputAnnotation
10121017 dumpInstance ist ctxt n = pp ist $ delabTy ist n
1013− pp ist = prettyImp (opt_showimp (idris_options ist))
1018+ params = class_params ci
1019+ params' = zip params (repeat False)
1020+ pp ist = pprintPTerm (opt_showimp (idris_options ist)) params' []
10141021
10151022showTotal :: Totality -> IState -> String
10161023showTotal t@(Partial (Other ns)) i