Skip to content

Commit

Permalink
Add doc
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <[email protected]>
  • Loading branch information
nojb committed Jun 17, 2021
1 parent 2532fbd commit dea7510
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions otherlibs/stdune-unstable/path.ml
Original file line number Diff line number Diff line change
Expand Up @@ -302,6 +302,10 @@ end = struct
User_error.raise ?loc:error_loc
[ Pp.textf "path outside the workspace: %s from %s" path (to_string t) ]

(* Check whether a path is in canonical form: no '.' or '..' components, no
repeated '/' components, no backslashes '\\' (on Windows only), and not
ending in a slash '/'. *)

let is_canonicalized =
let rec before_slash s i =
if i < 0 then
Expand Down

0 comments on commit dea7510

Please sign in to comment.