@@ -511,6 +511,7 @@ ideslaveProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)
511ideslaveProcess fn (Eval t) = process fn (Eval t)
511ideslaveProcess fn (Eval t) = process fn (Eval t)
512ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)
512ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)
513 iPrintResult "defined"
513 iPrintResult "defined"
514+ideslaveProcess fn (Undefine n) = process fn (Undefine n)
514ideslaveProcess fn (ExecVal t) = process fn (ExecVal t)
515ideslaveProcess fn (ExecVal t) = process fn (ExecVal t)
515ideslaveProcess fn (Check (PRef x n)) = process fn (Check (PRef x n))
516ideslaveProcess fn (Check (PRef x n)) = process fn (Check (PRef x n))
516ideslaveProcess fn (Check t) = process fn (Check t)
517ideslaveProcess fn (Check t) = process fn (Check t)