@@ -1225,12 +1225,16 @@ process fn (Pattelab t)
1226process fn (Missing n)
1226process fn (Missing n)
1227 = do i <- getIState
1227 = do i <- getIState
1228− let i' = i { idris_options = (idris_options i) { opt_showimp = True } }
1228+ ppOpts <- fmap ppOptionIst getIState
1229 case lookupCtxt n (idris_patdefs i) of
1229 case lookupCtxt n (idris_patdefs i) of
1230− [] -> iPrintError $ "Unknown operator " ++ show n
1230+ [] -> iPrintError $ "Unknown operator " ++ show n
1231− [(_, tms)] ->
1231+ [(_, tms)] ->
1232− iPrintResult (showSep "\n" (map (showTm i') tms))
1232+ iRenderResult (vsep (map (pprintPTerm ppOpts {ppopt_impl = True}
1233− _ -> iPrintError $ "Ambiguous name"
1237+ _ -> iPrintError $ "Ambiguous name"
1234process fn (DynamicLink l)
1238process fn (DynamicLink l)
1235 = do i <- getIState
1239 = do i <- getIState
1236 let importdirs = opt_importdirs (idris_options i)
1240 let importdirs = opt_importdirs (idris_options i)