diff --git a/Tests/Succeed/Test196.ML b/Tests/Succeed/Test196.ML new file mode 100644 index 00000000..37a00eb8 --- /dev/null +++ b/Tests/Succeed/Test196.ML @@ -0,0 +1,2 @@ +(* Check that fullPath works and that the empty path is treated as "." *) +if (OS.FileSys.fullPath "" = OS.FileSys.fullPath ".") then () else raise Fail "fullpath";