@@ -913,16 +913,18 @@ classInfo 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"
915 iputStrLn "Default superclass instances:\n"
916− mapM_ (iputStrLn . show . instanceType) (class_default_superclasses ci)
916+ mapM_ dumpDefaultInstance (class_default_superclasses ci)
917 iputStrLn ""
917 iputStrLn ""
918 iputStrLn "Instances:\n"
918 iputStrLn "Instances:\n"
919 mapM_ dumpInstance (class_instances ci)
919 mapM_ dumpInstance (class_instances ci)
920 iPrintResult ""
920 iPrintResult ""
921− where instanceType (PInstance _ _ _ _ _ t _ _) = t
923dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
922dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
924dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
923dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
925+dumpDefaultInstance :: PDecl -> Idris ()
926+dumpDefaultInstance (PInstance _ _ _ _ _ t _ _) = iputStrLn $ show t
926dumpInstance :: Name -> Idris ()
928dumpInstance :: Name -> Idris ()
927dumpInstance n = do i <- getIState
929dumpInstance n = do i <- getIState
928 ctxt <- getContext
930 ctxt <- getContext