@@ -473,6 +473,8 @@ ideslaveProcess fn Help = process stdout fn Help
473473ideslaveProcess fn (ChangeDirectory f) = do process stdout fn (ChangeDirectory f)
474474 iPrintResult "changed directory to"
475475ideslaveProcess fn (Eval t) = process stdout fn (Eval t)
476+ideslaveProcess fn (NewDefn decls) = do process stdout fn (NewDefn decls)
477+ iPrintResult "defined"
476478ideslaveProcess fn (ExecVal t) = process stdout fn (ExecVal t)
477479ideslaveProcess fn (Check (PRef x n)) = process stdout fn (Check (PRef x n))
478480ideslaveProcess fn (Check t) = process stdout fn (Check t)