@@ -573,8 +573,10 @@ splitName s = case reverse $ splitOn "." s of
573idemodeProcess :: FilePath -> Command -> Idris ()
573idemodeProcess :: FilePath -> Command -> Idris ()
574idemodeProcess fn Warranty = process fn Warranty
574idemodeProcess fn Warranty = process fn Warranty
575idemodeProcess fn Help = process fn Help
575idemodeProcess fn Help = process fn Help
576−idemodeProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)
576+idemodeProcess fn (ChangeDirectory f) =
577+ do process fn (ChangeDirectory f)
578+ dir <- runIO $ getCurrentDirectory
577− iPrintResult "changed directory to"
579+ iPrintResult $ "changed directory to " ++ dir
578idemodeProcess fn (ModImport f) = process fn (ModImport f)
580idemodeProcess fn (ModImport f) = process fn (ModImport f)
579idemodeProcess fn (Eval t) = process fn (Eval t)
581idemodeProcess fn (Eval t) = process fn (Eval t)
580idemodeProcess fn (NewDefn decls) = do process fn (NewDefn decls)
582idemodeProcess fn (NewDefn decls) = do process fn (NewDefn decls)