package dune-private-libs

  1. Overview
  2. Docs
Private libraries of Dune

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-2.5.1.tbz
sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b
sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

doc/src/dune-private-libs.stdune/loc0.ml.html

Source file loc0.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
type t =
  { start : Lexing.position
  ; stop : Lexing.position
  }

let none_pos p : Lexing.position =
  { pos_fname = p; pos_lnum = 1; pos_cnum = 0; pos_bol = 0 }

let none =
  let pos = none_pos "<none>" in
  { start = pos; stop = pos }

let dyn_of_position_no_file (p : Lexing.position) =
  let open Dyn in
  Record
    [ ("pos_lnum", Int p.pos_lnum)
    ; ("pos_bol", Int p.pos_bol)
    ; ("pos_cnum", Int p.pos_cnum)
    ]

let to_dyn t =
  let open Dyn in
  Record
    [ ("pos_fname", String t.start.pos_fname)
    ; ("start", dyn_of_position_no_file t.start)
    ; ("stop", dyn_of_position_no_file t.stop)
    ]