@@ -473,6 +473,8 @@ ideslaveProcess fn Help = process stdout fn Help
473ideslaveProcess fn (ChangeDirectory f) = do process stdout fn (ChangeDirectory f)
473ideslaveProcess fn (ChangeDirectory f) = do process stdout fn (ChangeDirectory f)
474 iPrintResult "changed directory to"
474 iPrintResult "changed directory to"
475ideslaveProcess fn (Eval t) = process stdout fn (Eval t)
475ideslaveProcess fn (Eval t) = process stdout fn (Eval t)
476+ideslaveProcess fn (NewDefn decls) = do process stdout fn (NewDefn decls)
477+ iPrintResult "defined"
476ideslaveProcess fn (ExecVal t) = process stdout fn (ExecVal t)
478ideslaveProcess fn (ExecVal t) = process stdout fn (ExecVal t)
477ideslaveProcess fn (Check (PRef x n)) = process stdout fn (Check (PRef x n))
479ideslaveProcess fn (Check (PRef x n)) = process stdout fn (Check (PRef x n))
478ideslaveProcess fn (Check t) = process stdout fn (Check t)
480ideslaveProcess fn (Check t) = process stdout fn (Check t)