@@ -575,6 +575,7 @@ ideslaveProcess fn (Apropos a) = do process fn (Apropos a)
575ideslaveProcess fn (WhoCalls n) = process fn (WhoCalls n)
575ideslaveProcess fn (WhoCalls n) = process fn (WhoCalls n)
576ideslaveProcess fn (CallsWho n) = process fn (CallsWho n)
576ideslaveProcess fn (CallsWho n) = process fn (CallsWho n)
577ideslaveProcess fn (PrintDef n) = process fn (PrintDef n)
577ideslaveProcess fn (PrintDef n) = process fn (PrintDef n)
578+ideslaveProcess fn (PPrint fmt n tm) = process fn (PPrint fmt n tm)
578ideslaveProcess fn _ = iPrintError "command not recognized or not supported"
579ideslaveProcess fn _ = iPrintError "command not recognized or not supported"
@@ -1189,7 +1190,7 @@ process fn (PrintDef n) =
1190process fn (PPrint fmt width (PRef _ n))
1191process fn (PPrint fmt width (PRef _ n))
1191 = do outs <- pprintDef n
1192 = do outs <- pprintDef n
1192− iputStrLn =<< renderExternal fmt width (vsep outs)
1193+ iPrintResult =<< renderExternal fmt width (vsep outs)
1195process fn (PPrint fmt width t)
1196process fn (PPrint fmt width t)
@@ -1198,7 +1199,7 @@ process fn (PPrint fmt width t)
1198 ist <- getIState
1199 ist <- getIState
1199 let ppo = ppOptionIst ist
1200 let ppo = ppOptionIst ist
1200 ty' = normaliseC ctxt [] ty
1201 ty' = normaliseC ctxt [] ty
1201− iputStrLn =<< renderExternal fmt width (pprintDelab ist tm)
1202+ iPrintResult =<< renderExternal fmt width (pprintDelab ist tm)
1204showTotal :: Totality -> IState -> String
1205showTotal :: Totality -> IState -> String