@@ -912,9 +912,13 @@ classInfo :: ClassInfo -> Idris ()
912classInfo ci = do iputStrLn "Methods:\n"
912classInfo ci = do iputStrLn "Methods:\n"
913 mapM_ dumpMethod (class_methods ci)
913 mapM_ dumpMethod (class_methods ci)
914 iputStrLn ""
914 iputStrLn ""
915+ iputStrLn "Default superclass instances:\n"
916+ mapM_ (iputStrLn . show . instanceType) (class_default_superclasses ci)
915 iputStrLn "Instances:\n"
918 iputStrLn "Instances:\n"
916 mapM_ dumpInstance (class_instances ci)
919 mapM_ dumpInstance (class_instances ci)
917 iPrintResult ""
920 iPrintResult ""
921+ where instanceType (PInstance _ _ _ _ _ t _ _) = t
919dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
923dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
920dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
924dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t