Merge pull request #751 from rgrinberg/is-in-build-dir-weird-behavior

Path.is_in_build_dir test
2018-05-14 17:01:06 +07:00 · 2018-05-14 17:01:06 +07:00 · 19825ae012
parent dc3310c3a0 4b798c048c
commit 19825ae012
1 changed files with 5 additions and 0 deletions
--- a/test/unit-tests/path.mlt
+++ b/test/unit-tests/path.mlt
@ -279,3 +279,8 @@ Path.drop_build_context Path.build_dir
 [%%expect{|
 - : Stdune.Path.t option = None
 |}]
+
+Path.is_in_build_dir Path.build_dir
+[%%expect{|
+- : bool = false
+|}]