aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-10-08 20:05:19 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-10-08 20:05:19 -0300
commit41224db2c0929db32da31718af04655ce5e138e6 (patch)
tree3df4d2998ba5e00e8d6be9053985cd8196308b4f /lib/kernel/Path.ml
parent46e348142d782cfd94ba37421f92e2871b0f4c22 (diff)
downloadRNT-41224db2c0929db32da31718af04655ce5e138e6.tar.gz
RNT-41224db2c0929db32da31718af04655ce5e138e6.zip
purge schema in favor of simple namespace
Diffstat (limited to 'lib/kernel/Path.ml')
-rw-r--r--lib/kernel/Path.ml6
1 files changed, 1 insertions, 5 deletions
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