diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-20 21:39:41 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-24 21:27:41 -0300 |
| commit | 55bac460c1a366c9e85c69287936af69a864c3b5 (patch) | |
| tree | 7fb9374356739649983575c119eea06d2e49f85b /lib/kernel/Path.ml | |
| parent | b06d16a2eb0846799b3b039dee989cf1cb258b6a (diff) | |
| download | RNT-55bac460c1a366c9e85c69287936af69a864c3b5.tar.gz RNT-55bac460c1a366c9e85c69287936af69a864c3b5.zip | |
constraint system from decker
Diffstat (limited to 'lib/kernel/Path.ml')
| -rw-r--r-- | lib/kernel/Path.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/kernel/Path.ml b/lib/kernel/Path.ml index 629a527..5e77c30 100644 --- a/lib/kernel/Path.ml +++ b/lib/kernel/Path.ml @@ -1,6 +1,9 @@ type t = string list let this = [] +let to_list path = path +let of_list names = names +let equal = List.equal String.equal let (@/) x y = x::y let to_string path = @@ -30,11 +33,11 @@ let lookup handle path = let open Utilities.Result in let open Protocols in match Directory.from handle with - | None -> Error (Error.path_not_found path) + | None -> Error (Error.not_a_directory path) | Some dir -> let* elem = Directory.find dir x in match elem with - | None -> Error (Error.not_a_directory path) + | None -> Error (Error.path_not_found path) | Some elem -> walk elem xs in walk handle path |