Source file util.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
(*****************************************************************************)
(*                                                                           *)
(*  Copyright (C) 2026 Yves Ndiaye                                           *)
(*                                                                           *)
(* This Source Code Form is subject to the terms of the Mozilla Public       *)
(* License, v. 2.0. If a copy of the MPL was not distributed with this       *)
(* file, You can obtain one at https://mozilla.org/MPL/2.0/.                 *)
(*                                                                           *)
(*****************************************************************************)

let arbitrary_prefix = "%:"
let sexp_escape_char = [ ' '; '\t'; '('; ')'; '"' ]

let to_sexp s =
  s |> String.to_seq
  |> Seq.concat_map (fun c ->
      match List.mem c sexp_escape_char with
      | true ->
          List.to_seq [ '\\'; c ]
      | false ->
          Seq.return c
  )
  |> String.of_seq

let quote = Printf.sprintf "\"%s\""