aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
diff options
context:
space:
mode:
Diffstat (limited to 'lib/kernel')
-rw-r--r--lib/kernel/Branch.ml2
-rw-r--r--lib/kernel/Path.ml5
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