package wax-lib

  1. Overview
  2. Docs
Libraries for Wax, a Rust-like syntax for WebAssembly

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

wax-v0.2.0.tbz
sha256=4361e1324b7754a4c08ab5b505df32061f3ce0cea60443fd0d3699e0fa796b32
sha512=fcc756d2f160ba90a9aa1131f2ab22ed7f45466ccd658c21cf9df6868a6aab0cee7f404719d698a379958802f9820398f2fe0685ecc4dda018ca4f653294e39b

doc/wax-lib.utils/Wax_utils/Source_map/index.html

Module Wax_utils.Source_mapSource

Sourcetype t
Sourcetype mapping = {
  1. generated_offset : int;
  2. original_file_idx : int;
  3. original_line : int;
  4. original_column : int;
}
Sourceval create : enabled:bool -> t

create ~enabled:false returns a sink whose recording functions are no-ops, so a module writer that never serializes a map does not pay for accumulating one entry per instruction.

Sourceval register_file : t -> string -> int
Sourceval add_mapping : t -> generated_offset:int -> original_location:Ast.location -> unit

Map generated_offset to the start of original_location.

Sourceval add_mapping_at : t -> generated_offset:int -> position:Lexing.position -> unit

Map generated_offset to a specific source position — used to attach the closing end opcode of a block or expression to its end position.

Sourceval add_absent_mapping : t -> generated_offset:int -> unit

add_absent_mapping t ~generated_offset records that the code at generated_offset has no original location, emitting a segment that resets the mapping so the previous location does not bleed into it.

Sourcetype checkpoint
Sourceval checkpoint : t -> checkpoint

checkpoint t captures the set of mappings recorded so far, for a later shift_since. Mappings are recorded with generated offsets relative to whichever buffer is being encoded; a checkpoint plus shift_since rebases the ones added afterwards once their absolute file offset is known.

Sourceval shift_since : t -> checkpoint -> delta:int -> unit

shift_since t cp ~delta adds delta to the generated offset of every mapping recorded since the checkpoint cp.

Sourceval to_json : t -> file_name:string -> string