@@ -912,9 +912,13 @@ classInfo :: ClassInfo -> Idris ()
912912classInfo ci = do iputStrLn "Methods:\n"
913913 mapM_ dumpMethod (class_methods ci)
914914 iputStrLn ""
915+ iputStrLn "Default superclass instances:\n"
916+ mapM_ (iputStrLn . show . instanceType) (class_default_superclasses ci)
917+ iputStrLn ""
915918 iputStrLn "Instances:\n"
916919 mapM_ dumpInstance (class_instances ci)
917920 iPrintResult ""
921+ where instanceType (PInstance _ _ _ _ _ t _ _) = t
918922
919923dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
920924dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t