@@ -913,6 +913,9 @@ classInfo :: ClassInfo -> Idris ()
913classInfo ci = do iputStrLn "Methods:\n"
913classInfo ci = do iputStrLn "Methods:\n"
914 mapM_ dumpMethod (class_methods ci)
914 mapM_ dumpMethod (class_methods ci)
915 iputStrLn ""
915 iputStrLn ""
916+ iputStrLn "Default superclass instances:\n"
917+ mapM_ dumpDefaultInstance (class_default_superclasses ci)
916 iputStrLn "Instances:\n"
919 iputStrLn "Instances:\n"
917 mapM_ dumpInstance (class_instances ci)
920 mapM_ dumpInstance (class_instances ci)
918 iPrintResult ""
921 iPrintResult ""
@@ -920,6 +923,9 @@ classInfo ci = do iputStrLn "Methods:\n"
920dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
923dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
921dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
924dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
926+dumpDefaultInstance :: PDecl -> Idris ()
927+dumpDefaultInstance (PInstance _ _ _ _ _ t _ _) = iputStrLn $ show t
923dumpInstance :: Name -> Idris ()
929dumpInstance :: Name -> Idris ()
924dumpInstance n = do i <- getIState
930dumpInstance n = do i <- getIState
925 ctxt <- getContext
931 ctxt <- getContext