From 41224db2c0929db32da31718af04655ce5e138e6 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 8 Oct 2026 20:05:19 -0300 Subject: purge schema in favor of simple namespace --- lib/kernel/Path.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'lib/kernel/Path.ml') diff --git a/lib/kernel/Path.ml b/lib/kernel/Path.ml index db3d17d..8e7eab0 100644 --- a/lib/kernel/Path.ml +++ b/lib/kernel/Path.ml @@ -73,11 +73,7 @@ let update handle path key reference value = let split changes = let here, below = List.partition (fun (path, _, _) -> path = []) changes in let segments = - List.fold_left - (fun segments (path, _, _) -> - let x = List.hd path in - if List.mem x segments then segments else segments @ [x] ) - [] below + List.sort_uniq String.compare (List.map (fun (path, _, _) -> List.hd path) below) in let beneath x = List.filter_map -- cgit v1.2.3