From 2e52c2ba9a7ee7fb01a87498b0b547d20dd3b374 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 22:34:41 -0300 Subject: change paths to use \ --- lib/kernel/Branch.ml | 2 +- lib/kernel/Path.ml | 5 ++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/lib/kernel/Branch.ml b/lib/kernel/Branch.ml index d398707..b0ba06e 100644 --- a/lib/kernel/Branch.ml +++ b/lib/kernel/Branch.ml @@ -3,7 +3,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct multigroup has a name and a set of schemas schema has a name and a set of relations - /branch/master/multigroup/universe/schema/sky/relation/planet + \branch\master\multigroup\universe\schema\sky\relation\planet *) module SI = Storage.Make (S) diff --git a/lib/kernel/Path.ml b/lib/kernel/Path.ml index f34abe2..9e3c52f 100644 --- a/lib/kernel/Path.ml +++ b/lib/kernel/Path.ml @@ -6,9 +6,8 @@ let ( @/ ) x y = x :: y let to_string path = path |> List.map (fun x -> - let str = BatString.replace ~str:x ~sub:"^" ~by:"^^" |> snd in - BatString.replace ~str ~sub:"/" ~by:"^/" |> snd ) - |> BatIO.to_string (BatList.print ~first:"/" ~last:"" ~sep:"/" BatString.print) + BatString.nreplace ~str:(BatString.nreplace ~str:x ~sub:"^" ~by:"^^") ~sub:"\\" ~by:"^\\" ) + |> BatIO.to_string (BatList.print ~first:"\\" ~last:"" ~sep:"\\" BatString.print) module Error = struct open Concepts.Condition -- cgit v1.2.3