From 55bac460c1a366c9e85c69287936af69a864c3b5 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 20 Sep 2026 21:39:41 -0300 Subject: constraint system from decker --- lib/kernel/Path.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'lib/kernel/Path.ml') 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 -- cgit v1.2.3