diff options
Diffstat (limited to 'testsuite/tests/lib-sys/rename.ml')
-rw-r--r-- | testsuite/tests/lib-sys/rename.ml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/lib-sys/rename.ml b/testsuite/tests/lib-sys/rename.ml index 948481c3de..7c62f218e9 100644 --- a/testsuite/tests/lib-sys/rename.ml +++ b/testsuite/tests/lib-sys/rename.ml @@ -82,3 +82,18 @@ let _ = testfailure "foo" "bar"; print_newline(); safe_remove f1; safe_remove_dir "foo"; safe_remove_dir "bar"; + print_string "Rename directory to existing empty directory: "; + Sys.mkdir "foo" 0o755; + Sys.mkdir "bar" 0o755; + testrenamedir "foo" "bar"; + print_newline(); + safe_remove_dir "foo"; + safe_remove_dir "bar"; + print_string "Rename directory to existing file: "; + Sys.mkdir "foo" 0o755; + writefile f2 "xyz"; + testfailure "foo" f2; + print_newline(); + safe_remove_dir "foo"; + safe_remove f2; + safe_remove_dir f2; |