git.iko.soy/Idris-dev
on master help sign in
add currentDir
d026c4edoofin
libs/prelude/Prelude/File.idr+4
compare with master
unifiedsplit
@@ -375,3 +375,7 @@ changeDir : String -> IO Bool
375changeDir dir
375changeDir dir
376 = do ok <- foreign FFI_C "idris_chdir" (String -> IO Int) dir
376 = do ok <- foreign FFI_C "idris_chdir" (String -> IO Int) dir
377 pure (ok == 0)
377 pure (ok == 0)
378+
379+export
380+currentDir : IO String
381+currentDir = foreign FFI_C "idris_currentDir" (IO String)
rts/idris_stdfgn.c+8
@@ -259,3 +259,11 @@ VAL idris_getString(VM* vm, void* buffer) {
259 free(sb);
259 free(sb);
260 return str;
260 return str;
261}
261}
262+
263+char* idris_currentDir() {
264+ char cwd[1024];
265+ if (getcwd(cwd, sizeof(cwd)) != NULL)
266+ return cwd
267+ else
268+ return "getcwd() error"
269+}
rts/idris_stdfgn.h+2
@@ -55,4 +55,6 @@ VAL idris_time();
55
55
56void idris_forceGC();
56void idris_forceGC();
57
57
58+char* idris_currentDir();
59+
58#endif
60#endif