@grain/binaryen.ml 0.16.0 → 0.18.0

binaryen-archive/esy.lock/opam/{ppxlib.0.26.0 → ppxlib.0.27.0}/opam

@@ -2,7 +2,7 @@ opam-version: "2.0"
 synopsis: "Standard library for ppx rewriters"
 description: """
 Ppxlib is the standard library for ppx rewriters and other programs
-that manipulate the in-memory reprensation of OCaml programs, a.k.a
+that manipulate the in-memory representation of OCaml programs, a.k.a
 the "Parsetree".
 
 It also comes bundled with two ppx rewriters that are commonly used to
@@ -20,7 +20,7 @@ doc: "https://ocaml-ppx.github.io/ppxlib/"
 bug-reports: "https://github.com/ocaml-ppx/ppxlib/issues"
 depends: [
   "dune" {>= "2.7"}
-  "ocaml" {>= "4.04.1" & < "4.15"}
+  "ocaml" {>= "4.04.1" & < "5.1.0"}
   "ocaml-compiler-libs" {>= "v0.11.0"}
   "ppx_derivers" {>= "1.0"}
   "sexplib0" {>= "v0.12"}
@@ -54,10 +54,10 @@ build: [
 dev-repo: "git+https://github.com/ocaml-ppx/ppxlib.git"
 url {
   src:
-    "https://github.com/ocaml-ppx/ppxlib/releases/download/0.26.0/ppxlib-0.26.0.tbz"
+    "https://github.com/ocaml-ppx/ppxlib/releases/download/0.27.0/ppxlib-0.27.0.tbz"
   checksum: [
-    "sha256=63117b67ea5863935455fe921f88fe333c0530f0483f730313303a93af817efd"
-    "sha512=9cfc9587657d17cdee5483e2a03292f872c42886e512bcc7442652e6418ce74c0135c731d8a68288c7fecae7f1b2defd93fe5acf8edb41e25144a8cec2806227"
+    "sha256=764b96121d6ffd6a73820e0ec5235176bfc42b94cf2ff97e32d068a5c4b28c62"
+    "sha512=2dcce0be6acdb3e185bfdad2785303a405c617f99949316abe6793f785d7227c10795ca49e79290bd385873da635191b44e8a5c211de114a168846d5d26f505c"
   ]
 }
-x-commit-hash: "18b1ad68b59d151d662147661e43b159ac491f68"
+x-commit-hash: "c33c48981a30359af5b4cddaeb633060c1784d62"

binaryen-archive/esy.lock/opam/sexplib0.v0.14.0/opam

@@ -10,7 +10,7 @@ build: [
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [
-  "ocaml" {>= "4.04.2"}
+  "ocaml" {>= "4.04.2" & < "5.0"}
   "dune"  {>= "2.0.0"}
 ]
 synopsis: "Library containing the definition of S-expressions and some base converters"

binaryen-archive/esy.lock/opam/stdune.3.3.1/opam

@@ -0,0 +1,44 @@
+opam-version: "2.0"
+synopsis: "Dune's unstable standard library"
+description:
+  "This library offers no backwards compatibility guarantees. Use at your own risk."
+maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.3"}
+  "ocaml" {>= "4.08.0"}
+  "base-unix"
+  "dyn" {= version}
+  "ordering" {= version}
+  "pp" {>= "1.1.0"}
+  "csexp" {>= "1.5.0"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src: "https://github.com/ocaml/dune/releases/download/3.3.1/dune-3.3.1.tbz"
+  checksum: [
+    "sha256=840c80491bfe12bab5f2b99d49e163f3e4c4d2fc4b4a3e6fb16c24dccd5502e1"
+    "sha512=b5d7639336b5df8cf37b8aac45906c6d0ff7e38b1a4a2c6ddb616ea81cdc5a8ff36cecf3d4ee4ff9282c835ed2958d4702ae1b3dd1f048c4269f5e7fedbe50d5"
+  ]
+}
+x-commit-hash: "b3232b22e13ff2fe4db994ba7ae3db727d1493cd"

binaryen-archive/esy.lock/opam/xdg.3.3.1/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis: "XDG Base Directory Specification"
+description:
+  "https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html"
+maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
+license: "MIT"
+homepage: "https://github.com/ocaml/dune"
+doc: "https://dune.readthedocs.io/"
+bug-reports: "https://github.com/ocaml/dune/issues"
+depends: [
+  "dune" {>= "3.3"}
+  "ocaml" {>= "4.08"}
+  "odoc" {with-doc}
+]
+dev-repo: "git+https://github.com/ocaml/dune.git"
+build: [
+  ["dune" "subst"] {dev}
+  ["rm" "-rf" "vendor/csexp"]
+  ["rm" "-rf" "vendor/pp"]
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@doc" {with-doc}
+  ]
+]
+url {
+  src: "https://github.com/ocaml/dune/releases/download/3.3.1/dune-3.3.1.tbz"
+  checksum: [
+    "sha256=840c80491bfe12bab5f2b99d49e163f3e4c4d2fc4b4a3e6fb16c24dccd5502e1"
+    "sha512=b5d7639336b5df8cf37b8aac45906c6d0ff7e38b1a4a2c6ddb616ea81cdc5a8ff36cecf3d4ee4ff9282c835ed2958d4702ae1b3dd1f048c4269f5e7fedbe50d5"
+  ]
+}
+x-commit-hash: "b3232b22e13ff2fe4db994ba7ae3db727d1493cd"

binaryen-archive/esy.lock/opam/{yojson.1.7.0 → yojson.2.0.0}/opam

@@ -1,38 +1,38 @@
 opam-version: "2.0"
-maintainer: "martin@mjambon.com"
+maintainer: ["nathan@cryptosense.com" "marek@xivilization.net"]
 authors: ["Martin Jambon"]
 homepage: "https://github.com/ocaml-community/yojson"
 bug-reports: "https://github.com/ocaml-community/yojson/issues"
 dev-repo: "git+https://github.com/ocaml-community/yojson.git"
 doc: "https://ocaml-community.github.io/yojson/"
+license: "BSD-3-Clause"
 build: [
   ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
 ]
-run-test: [["dune" "runtest" "-p" name "-j" jobs]]
 depends: [
   "ocaml" {>= "4.02.3"}
   "dune"
   "cppo" {build}
-  "easy-format"
-  "biniou" {>= "1.2.0"}
   "alcotest" {with-test & >= "0.8.5"}
+  "odoc" {with-doc}
+  "seq" {>= "0.2.2"}
 ]
 synopsis:
   "Yojson is an optimized parsing and printing library for the JSON format"
 description: """
 Yojson is an optimized parsing and printing library for the JSON format.
 
-It addresses a few shortcomings of json-wheel including 2x speedup,
-polymorphic variants and optional syntax for tuples and variants.
-
 ydump is a pretty-printing command-line program provided with the
-yojson package.
-
-The program atdgen can be used to derive OCaml-JSON serializers and
-deserializers from type definitions."""
+yojson package."""
 url {
   src:
-    "https://github.com/ocaml-community/yojson/releases/download/1.7.0/yojson-1.7.0.tbz"
-  checksum: "md5=b89d39ca3f8c532abe5f547ad3b8f84d"
+    "https://github.com/ocaml-community/yojson/releases/download/2.0.0/yojson-2.0.0.tbz"
+  checksum: [
+    "sha256=ab5d863f7f951a8f7fb4a708399ca2da2cf139a5e0af7818145c20295420cb1a"
+    "sha512=3ea982dbeef7ec8da54d29124ddb8b86f90583eb96ed3947851cedec9e3d2d47b981e3465d41f2c94943e6865ba6a9a51c6f0252efa6df2386d398b679aae8f2"
+  ]
 }
+x-commit-hash: "9c5cee131ae0ec79713e62397076d597486844ed"

binaryen-archive/esy.lock/overrides/opam__s__js__of__ocaml_compiler_opam__c__4.0.0_opam_override/package.json

@@ -0,0 +1,3 @@
+{
+  "build": "dune build -p js_of_ocaml-compiler"
+}

binaryen-archive/package.json

@@ -1,17 +1,17 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.16.0",
+  "version": "0.18.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
-    "ocaml": ">= 4.12.0 < 4.14.0",
-    "@grain/libbinaryen": ">= 106.0.0 < 107.0.0",
-    "@opam/dune": ">= 2.9.1 < 3.0.0",
-    "@opam/dune-configurator": ">= 2.9.1 < 3.0.0"
+    "ocaml": ">= 4.12.0",
+    "@grain/libbinaryen": ">= 108.0.0 < 109.0.0",
+    "@opam/dune": ">= 2.9.1",
+    "@opam/dune-configurator": ">= 2.9.1"
   },
   "devDependencies": {
-    "@opam/js_of_ocaml-compiler": ">= 3.10.0 < 4.0.0",
+    "@opam/js_of_ocaml-compiler": ">= 3.10.0",
     "@opam/ocamlformat": "0.20.1",
     "@opam/ocaml-lsp-server": "^1.9.1"
   },

binaryen-archive/src/binaryen_stubs_exports.js

@@ -1,6 +1,10 @@
 //Provides: caml_binaryen_add_function_export
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_function_export(wasm_mod, internal_name, external_name) {
+function caml_binaryen_add_function_export(
+  wasm_mod,
+  internal_name,
+  external_name
+) {
   return wasm_mod.addFunctionExport(
     caml_jsstring_of_string(internal_name),
     caml_jsstring_of_string(external_name)
@@ -9,7 +13,11 @@ function caml_binaryen_add_function_export(wasm_mod, internal_name, external_nam
 
 //Provides: caml_binaryen_add_table_export
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_table_export(wasm_mod, internal_name, external_name) {
+function caml_binaryen_add_table_export(
+  wasm_mod,
+  internal_name,
+  external_name
+) {
   return wasm_mod.addTableExport(
     caml_jsstring_of_string(internal_name),
     caml_jsstring_of_string(external_name)
@@ -18,7 +26,11 @@ function caml_binaryen_add_table_export(wasm_mod, internal_name, external_name)
 
 //Provides: caml_binaryen_add_memory_export
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_memory_export(wasm_mod, internal_name, external_name) {
+function caml_binaryen_add_memory_export(
+  wasm_mod,
+  internal_name,
+  external_name
+) {
   return wasm_mod.addMemoryExport(
     caml_jsstring_of_string(internal_name),
     caml_jsstring_of_string(external_name)
@@ -27,7 +39,11 @@ function caml_binaryen_add_memory_export(wasm_mod, internal_name, external_name)
 
 //Provides: caml_binaryen_add_global_export
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_global_export(wasm_mod, internal_name, external_name) {
+function caml_binaryen_add_global_export(
+  wasm_mod,
+  internal_name,
+  external_name
+) {
   return wasm_mod.addGlobalExport(
     caml_jsstring_of_string(internal_name),
     caml_jsstring_of_string(external_name)
@@ -57,54 +73,54 @@ function caml_binaryen_get_export_by_index(wasm_mod, index) {
 }
 
 //Provides: caml_binaryen_export_get_name
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_export_get_name(exp) {
-  var export_info = binaryen.getExportInfo(exp);
+  var export_info = Binaryen.getExportInfo(exp);
   return caml_string_of_jsstring(export_info.name);
 }
 
 //Provides: caml_binaryen_export_get_value
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_export_get_value(exp) {
-  var export_info = binaryen.getExportInfo(exp);
+  var export_info = Binaryen.getExportInfo(exp);
   return caml_string_of_jsstring(export_info.value);
 }
 
 //Provides: caml_binaryen_external_function
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_external_function() {
-  return binaryen._BinaryenExternalFunction();
+  return Binaryen._BinaryenExternalFunction();
 }
 
 //Provides: caml_binaryen_external_table
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_external_table() {
-  return binaryen._BinaryenExternalTable();
+  return Binaryen._BinaryenExternalTable();
 }
 
 //Provides: caml_binaryen_external_memory
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_external_memory() {
-  return binaryen._BinaryenExternalMemory();
+  return Binaryen._BinaryenExternalMemory();
 }
 
 //Provides: caml_binaryen_external_global
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_external_global() {
-  return binaryen._BinaryenExternalGlobal();
+  return Binaryen._BinaryenExternalGlobal();
 }
 
 //Provides: caml_binaryen_external_tag
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_external_tag() {
-  return binaryen._BinaryenExternalTag();
+  return Binaryen._BinaryenExternalTag();
 }
 
 //Provides: caml_binaryen_export_get_kind
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_export_get_kind(exp) {
-  var export_info = binaryen.getExportInfo(exp);
+  var export_info = Binaryen.getExportInfo(exp);
   return export_info.kind;
 }

binaryen-archive/src/binaryen_stubs_expressions.c

@@ -354,6 +354,27 @@ caml_binaryen_unreachable(value _module) {
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }
 
+CAMLprim value
+caml_binaryen_memory_init(value _module, value _segment, value _dest, value _offset, value _size) {
+  CAMLparam5(_module, _segment, _dest, _offset, _size);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  uint32_t segment = Int_val(_segment);
+  BinaryenExpressionRef dest = BinaryenExpressionRef_val(_dest);
+  BinaryenExpressionRef offset = BinaryenExpressionRef_val(_offset);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef exp = BinaryenMemoryInit(module, segment, dest, offset, size);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_data_drop(value _module, value _segment) {
+  CAMLparam2(_module, _segment);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  uint32_t segment = Int_val(_segment);
+  BinaryenExpressionRef exp = BinaryenDataDrop(module, segment);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
 CAMLprim value
 caml_binaryen_memory_copy(value _module, value _dest, value _source, value _size) {
   CAMLparam4(_module, _dest, _source, _size);
@@ -1551,6 +1572,86 @@ caml_binaryen_return_set_value(value _exp, value _value) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_memory_init_get_segment(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(Val_int(BinaryenMemoryInitGetSegment(exp)));
+}
+
+CAMLprim value
+caml_binaryen_memory_init_set_segment(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  uint32_t val = Int_val(_value);
+  BinaryenMemoryInitSetSegment(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_memory_init_get_dest(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenMemoryInitGetDest(exp)));
+}
+
+CAMLprim value
+caml_binaryen_memory_init_set_dest(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenMemoryInitSetDest(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_memory_init_get_offset(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenMemoryInitGetOffset(exp)));
+}
+
+CAMLprim value
+caml_binaryen_memory_init_set_offset(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenMemoryInitSetOffset(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_memory_init_get_size(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenMemoryInitGetSize(exp)));
+}
+
+CAMLprim value
+caml_binaryen_memory_init_set_size(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenMemoryInitSetSize(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_data_drop_get_segment(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(Val_int(BinaryenDataDropGetSegment(exp)));
+}
+
+CAMLprim value
+caml_binaryen_data_drop_set_segment(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  uint32_t val = Int_val(_value);
+  BinaryenDataDropSetSegment(exp, val);
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_memory_copy_get_dest(value _exp) {
   CAMLparam1(_exp);