You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fpath.root (which is Fpath.v "/") is certainly going to be wrongly used as stop condition when one loops up in a file hierarchy.
Formally the stop condition should be Fpath.(equal (parent p) p). But it seems better to add at least a Fpath.is_root function that checks if a path is a root directory, doing the right thing on paths with volumes (windows or //).
The text was updated successfully, but these errors were encountered:
Fpath.root
(which isFpath.v "/"
) is certainly going to be wrongly used as stop condition when one loops up in a file hierarchy.Formally the stop condition should be
Fpath.(equal (parent p) p)
. But it seems better to add at least aFpath.is_root
function that checks if a path is a root directory, doing the right thing on paths with volumes (windows or //).The text was updated successfully, but these errors were encountered: