package ppxlib

  1. Overview
  2. Docs
Standard infrastructure for ppx rewriters

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (23)

Authors

  1. J
    Jane Street Group, LLC <opensource@janestreet.com>

Maintainers

  1. O
    opensource@janestreet.com

Sources

ppxlib-0.38.0.tbz
sha256=89e049b3102f6670a213d34d802ea3ab0fc530a8959d2f1a1e8db830063429a3
sha512=2fbbf124fc61e1f22242d13505e9af39d4a3c7cf03def1c33ee8bd915195be9b817636667302e9c6ceddc74a9a4a54926340e21c96fd770a2bc6752400315cfd

doc/src/ppxlib/expansion_context.ml.html

Source file expansion_context.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
module Base = struct
  type t = { tool_name : string; code_path : Code_path.t; input_name : string }

  let top_level ~tool_name ~file_path ~input_name =
    let code_path = Code_path.top_level ~file_path in
    { tool_name; code_path; input_name }

  let code_path t = t.code_path
  let input_name t = t.input_name
  let tool_name t = t.tool_name
  let enter_expr t = { t with code_path = Code_path.enter_expr t.code_path }

  let enter_module ~loc name t =
    { t with code_path = Code_path.enter_module ~loc name t.code_path }

  let enter_value ~loc name t =
    { t with code_path = Code_path.enter_value ~loc name t.code_path }
end

module Extension = struct
  type t = { extension_point_loc : Location.t; base : Base.t }

  let make ~extension_point_loc ~base () = { extension_point_loc; base }
  let extension_point_loc t = t.extension_point_loc
  let code_path t = t.base.code_path
  let input_name t = t.base.input_name
  let tool_name t = t.base.tool_name

  let with_loc_and_path f ~ctxt =
    f ~loc:ctxt.extension_point_loc
      ~path:(Code_path.to_string_path ctxt.base.code_path)
end

module Deriver = struct
  type t = { derived_item_loc : Location.t; inline : bool; base : Base.t }

  let make ~derived_item_loc ~inline ~base () =
    { derived_item_loc; base; inline }

  let derived_item_loc t = t.derived_item_loc
  let code_path t = t.base.code_path
  let input_name t = t.base.input_name
  let tool_name t = t.base.tool_name
  let inline t = t.inline

  let with_loc_and_path f ~ctxt =
    f ~loc:ctxt.derived_item_loc
      ~path:(Code_path.to_string_path ctxt.base.code_path)
end