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