Source file util.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
let split_path target =
  match target with
  | "" | "/" -> []
  | _ ->
    let target =
      match String.index_from_opt target 0 '?' with
      | None -> target
      | Some i -> if i = 0 then "" else String.sub target 0 i
    in
    (match String.split_on_char '/' target with
    | "" :: xs -> xs
    | xs -> xs)
;;