ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 22:47:12 +03:00
Code Issues Projects Releases Wiki Activity

Print directory properly

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-06-08 16:09:06 +02:00
parent 3bee81e850
commit d03295d652
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Idris/REPL.hs
View File

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