finite-wasm 0.6.1

Guarantee deterministic limits on execution time and space resources made available to the WebAssembly programs in a runtime-agnostic way.
1
2
3
4
5
6
7
8
module Make () =
struct
  exception Error of Source.region * string

  let warn at m = prerr_endline (Source.string_of_region at ^ ": warning: " ^ m)
  let error at m = raise (Error (at, m))
end