Source file utils.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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
open Ppxlib

let ( >> ) f g x = g (f x)
let ( >|= ) x f = List.map f x

module Option = struct
  include Option

  let to_bool : unit option -> bool = function Some () -> true | None -> false
end

module List = struct
  include List

  (* TODO(4.10): remove *)
  let concat_map =
    let rec aux f acc = function
      | [] -> rev acc
      | x :: l ->
          let xs = f x in
          aux f (List.rev_append xs acc) l
    in
    fun ~f l -> aux f [] l

  let reduce ~f = function
    | [] -> None
    | [ x ] -> Some x
    | _ :: _ :: _ as l ->
        let rec aux = function
          | [] -> assert false
          | [ a; b ] -> f a b
          | x :: xs -> f x (aux xs)
        in
        Some (aux l)

  let reduce_exn ~f l =
    match reduce ~f l with
    | Some x -> x
    | None -> failwith "Cannot reduce empty list"
end

module Make (A : Ast_builder.S) : sig
  val compose_all : ('a -> 'a) list -> 'a -> 'a
  (** Left-to-right composition of a list of functions. *)

  val lambda : string list -> expression -> expression
  (** [lambda \[ "x_1"; ...; "x_n" \] e] is [fun x1 ... x_n -> e] *)

  val arrow : core_type list -> core_type -> core_type
  (** [arrow \[ "t_1"; ...; "t_n" \] u] is [t_1 -> ... -> t_n -> u] *)
end = struct
  open A

  let compose_all l x = List.fold_left ( |> ) x (List.rev l)
  let lambda = List.map (pvar >> pexp_fun Nolabel None) >> compose_all
  let arrow = List.map (ptyp_arrow Nolabel) >> compose_all
end

(* Extracted from [Ppxlib.0.24.0] to avoid depending on the particular naming
   scheme used (which is exposed in our snapshot tests). This scheme was
   changed in https://github.com/ocaml-ppx/ppxlib/pull/285. *)
let name_type_params_in_td =
  let gen_symbol =
    let cnt = ref 0 in
    fun ~prefix () ->
      cnt := !cnt + 1;
      Printf.sprintf "%s__%03i_" prefix !cnt
  in
  fun (td : type_declaration) : type_declaration ->
    let prefix_string i =
      (* a, b, ..., y, z, aa, bb, ... *)
      String.make ((i / 26) + 1) (Char.chr (Char.code 'a' + (i mod 26)))
    in
    let name_param i (tp, variance) =
      let ptyp_desc =
        match tp.ptyp_desc with
        | Ptyp_any -> Ptyp_var (gen_symbol ~prefix:(prefix_string i) ())
        | Ptyp_var _ as v -> v
        | _ -> Location.raise_errorf ~loc:tp.ptyp_loc "not a type parameter"
      in
      ({ tp with ptyp_desc }, variance)
    in
    { td with ptype_params = List.mapi name_param td.ptype_params }