@@ -1009,7 +1009,7 @@ classInfo ci = do ist <- getIState
1009 dumpDefaultInstance :: IState -> PDecl -> Doc OutputAnnotation
1009 dumpDefaultInstance :: IState -> PDecl -> Doc OutputAnnotation
1010 dumpDefaultInstance ist (PInstance _ _ _ _ _ t _ _) = pp ist t
1010 dumpDefaultInstance ist (PInstance _ _ _ _ _ t _ _) = pp ist t
1011 dumpInstance :: IState -> Context -> Name -> Doc OutputAnnotation
1011 dumpInstance :: IState -> Context -> Name -> Doc OutputAnnotation
1012− dumpInstance ist ctxt n = vsep . map (\t -> pp ist (delab ist t)) $ lookupTy n ctxt
1012+ dumpInstance ist ctxt n = pp ist $ delabTy ist n
1013 pp ist = prettyImp (opt_showimp (idris_options ist))
1013 pp ist = prettyImp (opt_showimp (idris_options ist))
1015showTotal :: Totality -> IState -> String
1015showTotal :: Totality -> IState -> String