@grain/binaryen.ml 0.14.1 → 0.17.0

binaryen-archive/esy.lock/opam/{cmdliner.1.1.0 → cmdliner.1.1.1}/opam

@@ -1,21 +1,6 @@
 opam-version: "2.0"
-synopsis: """Declarative definition of command line interfaces for OCaml"""
-maintainer: ["Daniel Bünzli <daniel.buenzl i@erratique.ch>"]
-authors: ["The cmdliner programmers"]
-homepage: "https://erratique.ch/software/cmdliner"
-doc: "https://erratique.ch/software/cmdliner/doc"
-dev-repo: "git+https://erratique.ch/repos/cmdliner.git"
-bug-reports: "https://github.com/dbuenzli/cmdliner/issues"
-license: ["ISC"]
-tags: ["cli" "system" "declarative" "org:erratique"]
-depends: ["ocaml" {>= "4.08.0"}]
-build: [[ make "all" "PREFIX=%{prefix}%" ]]
-install: [[make "install" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"]
-         [make "install-doc" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"]]
-url {
-  src: "https://erratique.ch/software/cmdliner/releases/cmdliner-1.1.0.tbz"
-  checksum: "sha512=e2fad706829e7b8b50d1a510b59b87e44294252d8e8bdd9d6cb07f435d7c1c123f82353eedf29e9a4b7768da485516b89b62bf956234e90d7eae1bbaae2c9263"}
-description: """
+synopsis: "Declarative definition of command line interfaces for OCaml"
+description: """\
 Cmdliner allows the declarative definition of command line interfaces
 for OCaml.
 
@@ -30,4 +15,25 @@ Cmdliner has no dependencies and is distributed under the ISC license.
 [1]: http://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap12.html
 [2]: http://www.gnu.org/software/libc/manual/html_node/Argument-Syntax.html
 
-Home page: http://erratique.ch/software/cmdliner"""
+Home page: http://erratique.ch/software/cmdliner"""
+maintainer: "Daniel Bünzli <daniel.buenzl i@erratique.ch>"
+authors: "The cmdliner programmers"
+license: "ISC"
+tags: ["cli" "system" "declarative" "org:erratique"]
+homepage: "https://erratique.ch/software/cmdliner"
+doc: "https://erratique.ch/software/cmdliner/doc"
+bug-reports: "https://github.com/dbuenzli/cmdliner/issues"
+depends: [
+  "ocaml" {>= "4.08.0"}
+]
+build: [make "all" "PREFIX=%{prefix}%"]
+install: [
+  [make "install" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"]
+  [make "install-doc" "LIBDIR=%{_:lib}%" "DOCDIR=%{_:doc}%"]
+]
+dev-repo: "git+https://erratique.ch/repos/cmdliner.git"
+url {
+  src: "https://erratique.ch/software/cmdliner/releases/cmdliner-1.1.1.tbz"
+  checksum:
+    "sha512=5478ad833da254b5587b3746e3a8493e66e867a081ac0f653a901cc8a7d944f66e4387592215ce25d939be76f281c4785702f54d4a74b1700bc8838a62255c9e"
+}

binaryen-archive/esy.lock/opam/{easy-format.1.3.2 → easy-format.1.3.3}/opam

@@ -1,17 +1,4 @@
 opam-version: "2.0"
-build: [
-  ["dune" "subst"] {dev}
-  ["dune" "build" "-p" name "-j" jobs]
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
-  ["dune" "build" "-p" name "@doc"] {with-doc}
-]
-maintainer: ["martin@mjambon.com" "rudi.grinberg@gmail.com"]
-authors: ["Martin Jambon"]
-bug-reports: "https://github.com/mjambon/easy-format/issues"
-homepage: "https://github.com/mjambon/easy-format"
-doc: "https://mjambon.github.io/easy-format/"
-license: "BSD-3-Clause"
-dev-repo: "git+https://github.com/mjambon/easy-format.git"
 synopsis:
   "High-level and functional interface to the Format module of the OCaml standard library"
 description: """
@@ -32,15 +19,40 @@ nodes:
 Atoms represent any text that is guaranteed to be printed as-is. Lists can model
 any sequence of items such as arrays of data or lists of definitions that are
 labelled with something like "int main", "let x =" or "x:"."""
+maintainer: ["martin@mjambon.com" "rudi.grinberg@gmail.com"]
+authors: ["Martin Jambon"]
+license: "BSD-3-Clause"
+homepage: "https://github.com/mjambon/easy-format"
+doc: "https://mjambon.github.io/easy-format/"
+bug-reports: "https://github.com/mjambon/easy-format/issues"
 depends: [
-  "dune" {>= "1.10"}
-  "ocaml" {>= "4.02.3"}
+  "dune" {>= "2.9"}
+  "ocaml" {>= "4.08"}
+  "odoc" {with-doc}
 ]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/mjambon/easy-format.git"
 url {
   src:
-    "https://github.com/mjambon/easy-format/releases/download/1.3.2/easy-format-1.3.2.tbz"
+    "https://github.com/mjambon/easy-format/releases/download/1.3.3/easy-format-1.3.3.tbz"
   checksum: [
-    "sha256=3440c2b882d537ae5e9011eb06abb53f5667e651ea4bb3b460ea8230fa8c1926"
-    "sha512=e39377a2ff020ceb9ac29e8515a89d9bdbc91dfcfa871c4e3baafa56753fac2896768e5d9822a050dc1e2ade43c8967afb69391a386c0a8ecd4e1f774e236135"
+    "sha256=eafccae911c26ca23e4ddacee3eaa54654d20f973b8680f84b708cef43adc416"
+    "sha512=611b3124f6a0ec6406b7bda8018a94c9c4a9da9d22495a5c34a6312bf7f0f0607a9529b276f7039ce3f3b15a955dac413d6d1229a55d5ac291302a3ddd5807e5"
   ]
 }
+x-commit-hash: "56c57e69ef067d1cc4e31029d31e77e55b46be95"

binaryen-archive/esy.lock/opam/{ppx_yojson_conv_lib.v0.14.0 → ppx_yojson_conv_lib.v0.15.0}/opam

@@ -19,6 +19,6 @@ description: "
 Part of the Jane Street's PPX rewriters collection.
 "
 url {
-  src: "https://ocaml.janestreet.com/ocaml-core/v0.14/files/ppx_yojson_conv_lib-v0.14.0.tar.gz"
-  checksum: "md5=e23c5593a7211ad4fb09e26e9a74698a"
+src: "https://ocaml.janestreet.com/ocaml-core/v0.15/files/ppx_yojson_conv_lib-v0.15.0.tar.gz"
+checksum: "sha256=f9d2c5eff4566ec1f1f379b186ed22c8ddd6be0909a160bc5a9ac7abc6a6b684"
 }

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

@@ -24,6 +24,7 @@ depends: [
   "ocaml-compiler-libs" {>= "v0.11.0"}
   "ppx_derivers" {>= "1.0"}
   "sexplib0" {>= "v0.12"}
+  "sexplib0" {with-test & < "v0.15"}
   "stdlib-shims"
   "ocamlfind" {with-test}
   "re" {with-test & >= "1.9.0"}
@@ -53,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.25.0/ppxlib-0.25.0.tbz"
+    "https://github.com/ocaml-ppx/ppxlib/releases/download/0.26.0/ppxlib-0.26.0.tbz"
   checksum: [
-    "sha256=2d2f150e7715845dc578d254f705a67600be71c986b7e67e81befda612870bd5"
-    "sha512=464220e3d8c75503824b73393df0b8ad16019acf55b8ecef89f8d464cd6d054e470ce4866b244216c5f7b85a5e8abad908aad212a78b4a132f3092fa785da0de"
+    "sha256=63117b67ea5863935455fe921f88fe333c0530f0483f730313303a93af817efd"
+    "sha512=9cfc9587657d17cdee5483e2a03292f872c42886e512bcc7442652e6418ce74c0135c731d8a68288c7fecae7f1b2defd93fe5acf8edb41e25144a8cec2806227"
   ]
 }
-x-commit-hash: "2fde140076144150d01997d529d451bbcae439c4"
+x-commit-hash: "18b1ad68b59d151d662147661e43b159ac491f68"

binaryen-archive/esy.lock/opam/{re.1.10.3 → re.1.10.4}/opam

@@ -8,19 +8,19 @@ authors: [
   "Rudi Grinberg"
   "Gabriel Radanne"
 ]
-license: "LGPL-2.0 with OCaml linking exception"
+license: "LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception"
 homepage: "https://github.com/ocaml/ocaml-re"
 bug-reports: "https://github.com/ocaml/ocaml-re/issues"
 dev-repo: "git+https://github.com/ocaml/ocaml-re.git"
 
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 
 depends: [
-  "ocaml" {>= "4.02"}
+  "ocaml" {>= "4.03"}
   "dune" {>= "2.0"}
   "ounit" {with-test}
   "seq"
@@ -37,10 +37,10 @@ Pure OCaml regular expressions with:
 """
 url {
   src:
-    "https://github.com/ocaml/ocaml-re/releases/download/1.10.3/re-1.10.3.tbz"
+    "https://github.com/ocaml/ocaml-re/releases/download/1.10.4/re-1.10.4.tbz"
   checksum: [
-    "sha256=846546967f3fe31765935dd40a6460a9424337ecce7b12727fcba49480790ebb"
-    "sha512=d02103b7b8b8d8bc797341dcc933554745427f3c1b51b54b4ac9ff81badfd68c94726c57548b08e00ca99f3e09741b54b6500e97c19fc0e8fcefd6dfbe71da7f"
+    "sha256=83eb3e4300aa9b1dc7820749010f4362ea83524742130524d78c20ce99ca747c"
+    "sha512=92b05cf92c389fa8c753f2acca837b15dd05a4a2e8e2bec7a269d2e14c35b1a786d394258376648f80b4b99250ba1900cfe68230b8385aeac153149d9ce56099"
   ]
 }
-x-commit-hash: "c5d5df80e128c3d7646b7d8b1322012c5fcc35f3"
+x-commit-hash: "e9a4cecb8294c1839db18b1d0c30e755ec85ed5e"

binaryen-archive/esy.lock/opam/{spawn.v0.15.0 → spawn.v0.15.1}/opam

@@ -45,12 +45,12 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/janestreet/spawn.git"
-x-commit-hash: "b5a25cab2f53a5ee9e10a7b8a96506cc61ce1198"
+x-commit-hash: "13d279ebfa8c40d4bafe18cddfdff0de54b4eaff"
 url {
   src:
-    "https://github.com/janestreet/spawn/archive/v0.15.0.tar.gz"
+    "https://github.com/janestreet/spawn/archive/v0.15.1.tar.gz"
   checksum: [
-    "sha256=310fb2a50ac7f64c738182cbabd9d27c1aeae1a08107fe14da8d35a87cbb57c7"
-    "sha512=3a775b57a73efee6adbc30b32fa779f27d11c7008a46f90fdb9da6288533e2d83fc49dbcd770c087f2e4560c5586ff72a9a2985d8929955773cc10d83f126013"
+    "sha256=9afdee314fab6c3fcd689ab6eb5608d6b78078e6dede3953a47debde06c19d50"
+    "sha512=efdb31d5ec5ea36d0bc80224d4ee04e46ce3428d1662870e6cebece92bc313d6eebee378802c0c059dd6e0cafea515308c31b7dfaf04a098eb4566583c1e9ed4"
   ]
 }

binaryen-archive/esy.lock/overrides/opam__s__easy_format_opam__c__1.3.3_opam_override/package.json

@@ -0,0 +1,3 @@
+{
+  "build": "dune build -p easy-format"
+}

binaryen-archive/package.json

@@ -1,16 +1,14 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.14.1",
+  "version": "0.17.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
-    "ocaml": ">= 4.12.0",
-    "@grain/libbinaryen": ">= 104.0.0 < 105.0.0",
+    "ocaml": ">= 4.12.0 < 4.14.0",
+    "@grain/libbinaryen": ">= 107.0.0 < 108.0.0",
     "@opam/dune": ">= 2.9.1 < 3.0.0",
-    "@opam/dune-configurator": ">= 2.9.1 < 3.0.0",
-    "@opam/js_of_ocaml": ">= 3.10.0 < 4.0.0",
-    "@opam/js_of_ocaml-ppx": ">= 3.10.0 < 4.0.0"
+    "@opam/dune-configurator": ">= 2.9.1 < 3.0.0"
   },
   "devDependencies": {
     "@opam/js_of_ocaml-compiler": ">= 3.10.0 < 4.0.0",

binaryen-archive/src/binaryen_stubs_exports.js

@@ -0,0 +1,110 @@
+//Provides: caml_binaryen_add_function_export
+//Requires: caml_jsstring_of_string
+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)
+  );
+}
+
+//Provides: caml_binaryen_add_table_export
+//Requires: caml_jsstring_of_string
+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)
+  );
+}
+
+//Provides: caml_binaryen_add_memory_export
+//Requires: caml_jsstring_of_string
+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)
+  );
+}
+
+//Provides: caml_binaryen_add_global_export
+//Requires: caml_jsstring_of_string
+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)
+  );
+}
+
+//Provides: caml_binaryen_get_export
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_export(wasm_mod, external_name) {
+  return wasm_mod.getExport(caml_jsstring_of_string(external_name));
+}
+
+//Provides: caml_binaryen_remove_export
+//Requires: caml_jsstring_of_string
+function caml_binaryen_remove_export(wasm_mod, external_name) {
+  return wasm_mod.removeExport(caml_jsstring_of_string(external_name));
+}
+
+//Provides: caml_binaryen_get_num_exports
+function caml_binaryen_get_num_exports(wasm_mod) {
+  return wasm_mod.getNumExports();
+}
+
+//Provides: caml_binaryen_get_export_by_index
+function caml_binaryen_get_export_by_index(wasm_mod, index) {
+  return wasm_mod.getExportByIndex(index);
+}
+
+//Provides: caml_binaryen_export_get_name
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_export_get_name(exp) {
+  var export_info = binaryen.getExportInfo(exp);
+  return caml_string_of_jsstring(export_info.name);
+}
+
+//Provides: caml_binaryen_export_get_value
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_export_get_value(exp) {
+  var export_info = binaryen.getExportInfo(exp);
+  return caml_string_of_jsstring(export_info.value);
+}
+
+//Provides: caml_binaryen_external_function
+//Requires: binaryen
+function caml_binaryen_external_function() {
+  return binaryen._BinaryenExternalFunction();
+}
+
+//Provides: caml_binaryen_external_table
+//Requires: binaryen
+function caml_binaryen_external_table() {
+  return binaryen._BinaryenExternalTable();
+}
+
+//Provides: caml_binaryen_external_memory
+//Requires: binaryen
+function caml_binaryen_external_memory() {
+  return binaryen._BinaryenExternalMemory();
+}
+
+//Provides: caml_binaryen_external_global
+//Requires: binaryen
+function caml_binaryen_external_global() {
+  return binaryen._BinaryenExternalGlobal();
+}
+
+//Provides: caml_binaryen_external_tag
+//Requires: binaryen
+function caml_binaryen_external_tag() {
+  return binaryen._BinaryenExternalTag();
+}
+
+//Provides: caml_binaryen_export_get_kind
+//Requires: binaryen
+function caml_binaryen_export_get_kind(exp) {
+  var export_info = binaryen.getExportInfo(exp);
+  return export_info.kind;
+}

binaryen-archive/src/binaryen_stubs_expressions.c

@@ -1534,7 +1534,12 @@ CAMLprim value
 caml_binaryen_return_get_value(value _exp) {
   CAMLparam1(_exp);
   BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
-  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenReturnGetValue(exp)));
+  BinaryenExpressionRef val = BinaryenReturnGetValue(exp);
+  if (val == NULL) {
+    CAMLreturn(Val_none);
+  } else {
+    CAMLreturn(caml_alloc_some(alloc_BinaryenExpressionRef(val)));
+  }
 }
 
 CAMLprim value