package ppx_here

  1. Overview
  2. Docs
Expands [%here] into its location

Install

Dune Dependency

Authors

Maintainers

Sources

v0.17.0.tar.gz
sha256=27ac69db34a5ff0efbf6e3c52d52dda46d1e5d5db4d14fb4d8c20370b932a913

Description

Part of the Jane Street's PPX rewriters collection.

Published: 23 May 2024

README

ppx_here

A ppx rewriter that defines an extension node whose value is its source position.

Syntax

ppx_here rewrites the extension [%here] in expressions, by replacing it by a value of type Source_code_position.t (i.e. Lexing.position) corresponding to the current position. It respects line number directives.

For instance:

let _ =
  print_endline [%here].Lexing.pos_fname

becomes:

let _ =
  print_endline
    {
      Lexing.pos_fname = ppx/ppx_here/test/test.ml";
      pos_lnum = 2;
      pos_cnum = 26;
      pos_bol = 8;
    }.Lexing.pos_fname

Usage

This is normally used so exceptions can contain better positions. An example is Core.Option.value_exn, which takes an optional position so that if you have a stack trace, you can get still the origin of the exception.

It can also be used in cases where stack traces are useless (for instance in monads with a complicated control flow).

Command line flag

If the flag -dirname <dir> is given, relative filenames are made relative to <dir>. <dir> can be a relative path.

<dir> can be chosen as the path from the root of the repository to the directory of the source, to make filenames unique within the repository (which avoids ambiguities as there can be many files called server.ml, common.ml or config.ml).

Dependencies (4)

  1. ppxlib >= "0.28.0"
  2. dune >= "3.11.0"
  3. base >= "v0.17" & < "v0.18"
  4. ocaml >= "5.1.0"

Dev Dependencies

None

Used by (25)

  1. bonsai >= "v0.17.0"
  2. cohttp-eio >= "6.0.0~beta2"
  3. colibri2
  4. conduit-async = "2.3.0" | >= "4.0.0"
  5. dap
  6. gopcaml-mode-merlin < "0.0.6"
  7. h1_parser
  8. http
  9. nuscr >= "2.1.0"
  10. obeam >= "0.1.0"
  11. oci
  12. pa_ppx < "0.07" | >= "0.10"
  13. ppx_assert >= "v0.17.0"
  14. ppx_bap < "v0.14.0"
  15. ppx_bin_prot >= "v0.17.0"
  16. ppx_css >= "v0.17.0"
  17. ppx_expect >= "v0.17.0"
  18. ppx_jane >= "v0.17.0"
  19. ppx_let >= "v0.17.0"
  20. ppx_log >= "v0.17.0"
  21. ppx_quick_test
  22. ppx_sexp_message >= "v0.17.0"
  23. ppx_sexp_value >= "v0.17.0"
  24. timmy
  25. toplevel_backend >= "v0.17.0"

Conflicts

None

OCaml

Innovation. Community. Security.