package wax-lib

You can search for identifiers within the package.

in-package search v0.2.0

Libraries for Wax, a Rust-like syntax for WebAssembly

Install

dune-project

Dependency

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

Authors

J

Jérôme Vouillon

Maintainers

J

Jérôme Vouillon

Sources

wax-v0.2.0.tbz

sha256=4361e1324b7754a4c08ab5b505df32061f3ce0cea60443fd0d3699e0fa796b32

sha512=fcc756d2f160ba90a9aa1131f2ab22ed7f45466ccd658c21cf9df6868a6aab0cee7f404719d698a379958802f9820398f2fe0685ecc4dda018ca4f653294e39b

doc/wax-lib.wasm/Wax_wasm/Cond_explore/index.html

Module `Wax_wasm.Cond_explore`Source

Reporting for path-sensitive checking of conditional-annotation configurations: the configurations are enumerated by an exhaustive Cond_plan (one run each), checked one by one into collectors, and report folds their diagnostics into one report, each distinct diagnostic once, annotated with the minimal assumption under which it is reachable.

Used by both the WAT validator and the Wax type-checker.

Source

val report : 
  Wax_utils.Diagnostic.context ->
  ?truncation_location:Ast.location ->
  explain:(Cond_solver.t -> string option) ->
  truncated:bool ->
  (Wax_utils.Diagnostic.entry list * Cond_solver.t) list ->
  unit

report diagnostics ?truncation_location ~explain ~truncated configurations reports the diagnostics of the configurations a caller checked: each configuration's collected diagnostics paired with its full assumption (Cond_plan.assumption). A distinct diagnostic is reported once, with a "reachable when …" hint from explain applied to the union of the assumptions it arose under; a universal one only if that union covers the whole feasible space; a truncated exploration adds the truncation warning.