@@ -537,6 +537,7 @@ ideslaveProcess fn Warranty = process fn Warranty
537ideslaveProcess fn Help = process fn Help
537ideslaveProcess fn Help = process fn Help
538ideslaveProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)
538ideslaveProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)
539 iPrintResult "changed directory to"
539 iPrintResult "changed directory to"
540+ideslaveProcess fn (ModImport f) = process fn (ModImport f)
540ideslaveProcess fn (Eval t) = process fn (Eval t)
541ideslaveProcess fn (Eval t) = process fn (Eval t)
541ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)
542ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)
542 iPrintResult "defined"
543 iPrintResult "defined"
@@ -722,6 +723,10 @@ process fn Warranty = iPrintResult warranty
722process fn (ChangeDirectory f)
723process fn (ChangeDirectory f)
723 = do runIO $ setCurrentDirectory f
724 = do runIO $ setCurrentDirectory f
724 return ()
725 return ()
726+process fn (ModImport f) = do fmod <- loadModule f
728+ Just pr -> isetPrompt pr
729+ Nothing -> iPrintError $ "Can't find import " ++ f
725process fn (Eval t)
730process fn (Eval t)
726 = withErrorReflection $ do logLvl 5 $ show t
731 = withErrorReflection $ do logLvl 5 $ show t
727 getIState >>= flip warnDisamb t
732 getIState >>= flip warnDisamb t