@@ -913,16 +913,18 @@ classInfo ci = do iputStrLn "Methods:\n"
913913 mapM_ dumpMethod (class_methods ci)
914914 iputStrLn ""
915915 iputStrLn "Default superclass instances:\n"
916− mapM_ (iputStrLn . show . instanceType) (class_default_superclasses ci)
916+ mapM_ dumpDefaultInstance (class_default_superclasses ci)
917917 iputStrLn ""
918918 iputStrLn "Instances:\n"
919919 mapM_ dumpInstance (class_instances ci)
920920 iPrintResult ""
921− where instanceType (PInstance _ _ _ _ _ t _ _) = t
922921
923922dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()
924923dumpMethod (n, (_, t)) = iputStrLn $ show n ++ " : " ++ show t
925924
925+dumpDefaultInstance :: PDecl -> Idris ()
926+dumpDefaultInstance (PInstance _ _ _ _ _ t _ _) = iputStrLn $ show t
927+
926928dumpInstance :: Name -> Idris ()
927929dumpInstance n = do i <- getIState
928930 ctxt <- getContext