@@ -1172,10 +1172,12 @@ process fn (MakeDoc s) =
11721172 Left err -> iPrintError err
11731173process fn (PrintDef n) =
11741174 do ist <- getIState
1175+ ctxt <- getContext
11751176 let patdefs = idris_patdefs ist
11761177 tyinfo = idris_datatypes ist
11771178 result = map (ppDef ist) (lookupCtxtName n patdefs) ++
1178− map (ppTy ist) (lookupCtxtName n tyinfo)
1179+ map (ppTy ist) (lookupCtxtName n tyinfo) ++
1180+ map (ppCon ist) (filter (flip isDConName ctxt) (lookupNames n ctxt))
11791181 case result of
11801182 [] -> iPrintError "Not found"
11811183 outs -> iRenderResult . vsep $ outs
@@ -1205,7 +1207,7 @@ process fn (PrintDef n) =
12051207 key | isCodata = "codata"
12061208 | otherwise = "data"
12071209 kwd = annotate AnnKeyword . text
1208− ppCon ist n = prettyName True False [] n <+> colon <+> align (pprintDelabTy ist n)
1210+ ppCon ist n = prettyName True False [] n <+> colon <+> align (pprintDelabTy ist n)
12091211
12101212showTotal :: Totality -> IState -> String
12111213showTotal t@(Partial (Other ns)) i