@@ -537,6 +537,7 @@ ideslaveProcess fn Warranty = process fn Warranty
537537ideslaveProcess fn Help = process fn Help
538538ideslaveProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)
539539 iPrintResult "changed directory to"
540+ideslaveProcess fn (ModImport f) = process fn (ModImport f)
540541ideslaveProcess fn (Eval t) = process fn (Eval t)
541542ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)
542543 iPrintResult "defined"
@@ -721,6 +722,10 @@ process fn Warranty = iPrintResult warranty
721722process fn (ChangeDirectory f)
722723 = do runIO $ setCurrentDirectory f
723724 return ()
725+process fn (ModImport f) = do fmod <- loadModule f
726+ case fmod of
727+ Just pr -> isetPrompt pr
728+ Nothing -> iPrintError $ "Can't find import " ++ f
724729process fn (Eval t)
725730 = withErrorReflection $ do logLvl 5 $ show t
726731 getIState >>= flip warnDisamb t
@@ -1181,7 +1186,7 @@ process fn (SetConsoleWidth w) = setWidth w
11811186
11821187process fn (Apropos pkgs a) =
11831188 do orig <- getIState
1184− when (not (null pkgs)) $
1189+ when (not (null pkgs)) $
11851190 iputStrLn $ "Searching packages: " ++ showSep ", " pkgs
11861191 mapM_ loadPkgIndex pkgs
11871192 ist <- getIState