@@ -913,6 +913,9 @@ classInfo :: ClassInfo -> Idris ()
913913classInfo ci = do iputStrLn "Methods:\n"
914914 mapM_ dumpMethod (class_methods ci)
915915 iputStrLn ""
916+ iputStrLn "Default superclass instances:\n"
917+ mapM_ dumpDefaultInstance (class_default_superclasses ci)
918+ iputStrLn ""
916919 iputStrLn "Instances:\n"
917920 mapM_ dumpInstance (class_instances ci)
918921 iPrintResult ""
@@ -920,6 +923,9 @@ classInfo ci = do iputStrLn "Methods:\n"
920923dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
921924dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
922925
926+dumpDefaultInstance :: PDecl -> Idris ()
927+dumpDefaultInstance (PInstance _ _ _ _ _ t _ _) = iputStrLn $ show t
928+
923929dumpInstance :: Name -> Idris ()
924930dumpInstance n = do i <- getIState
925931 ctxt <- getContext