@grain/binaryen.ml 0.20.1 → 0.22.0

binaryen-archive/esy.lock/opam/{stdio.v0.15.0 → stdio.v0.16.0}/opam

@@ -10,8 +10,8 @@ build: [
   ["dune" "build" "-p" name "-j" jobs]
 ]
 depends: [
-  "ocaml" {>= "4.08.0"}
-  "base"  {>= "v0.15" & < "v0.16"}
+  "ocaml" {>= "4.14.0"}
+  "base"  {>= "v0.16" & < "v0.17"}
   "dune"  {>= "2.0.0"}
 ]
 synopsis: "Standard IO library for OCaml"
@@ -22,6 +22,6 @@ It re-exports the input/output functions of the OCaml standard
 libraries using a more consistent API.
 "
 url {
-src: "https://ocaml.janestreet.com/ocaml-core/v0.15/files/stdio-v0.15.0.tar.gz"
-checksum: "sha256=c37292921dc6a88425f773eba6bdbeac1dedacd1f55917fa4bcd9c4b25795e4b"
+src: "https://ocaml.janestreet.com/ocaml-core/v0.16/files/stdio-v0.16.0.tar.gz"
+checksum: "sha256=61f0b75950614ac5378c6ec0d822cce6463402d919d5810b736fc46522b3a73e"
 }

binaryen-archive/esy.lock/opam/{stdune.3.6.1 → stdune.3.9.1}/opam

@@ -35,10 +35,10 @@ build: [
   ]
 ]
 url {
-  src: "https://github.com/ocaml/dune/releases/download/3.6.1/dune-3.6.1.tbz"
+  src: "https://github.com/ocaml/dune/releases/download/3.9.1/dune-3.9.1.tbz"
   checksum: [
-    "sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce"
-    "sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52"
+    "sha256=f0c3ce49f36c733b8aee72611f107cf06de6bc423be7262aab1bb3f03c05a878"
+    "sha512=105ea325a3a9d0c51e64d440d7f13f2231c5d0a56ea0bc334b3a39db4644499153823456f5d7b20f8bec724b3ceaace7c1718c3b941c300135769d01bb663979"
   ]
 }
-x-commit-hash: "7d2788fc94a071bca897aefc95f1464911870a4c"
+x-commit-hash: "3276f90725e4423790a43065cc51ddbbba61eb89"

binaryen-archive/esy.lock/opam/{topkg.1.0.6 → topkg.1.0.7}/opam

@@ -41,7 +41,7 @@ depends: [
 build: ["ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--dev-pkg" "%{dev}%"]
 dev-repo: "git+https://erratique.ch/repos/topkg.git"
 url {
-  src: "https://erratique.ch/software/topkg/releases/topkg-1.0.6.tbz"
+  src: "https://erratique.ch/software/topkg/releases/topkg-1.0.7.tbz"
   checksum:
-    "sha512=8e34391e2f499cec332b79454a4edb36a35db6fe22437f017fd5c80ae065160dc967ac02d894a94d08d62dd476521e63733f4cadc3b9b6b314b6aa5b2b4ede78"
+    "sha512=09e59f1759bf4db8471f02d0aefd8db602b44932a291c05c312b1423796e7a15d1598d3c62a0cec7f083eff8e410fac09363533dc4bd2120914bb9664efea535"
 }

binaryen-archive/esy.lock/opam/{xdg.3.6.1 → xdg.3.9.1}/opam

@@ -30,10 +30,10 @@ build: [
   ]
 ]
 url {
-  src: "https://github.com/ocaml/dune/releases/download/3.6.1/dune-3.6.1.tbz"
+  src: "https://github.com/ocaml/dune/releases/download/3.9.1/dune-3.9.1.tbz"
   checksum: [
-    "sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce"
-    "sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52"
+    "sha256=f0c3ce49f36c733b8aee72611f107cf06de6bc423be7262aab1bb3f03c05a878"
+    "sha512=105ea325a3a9d0c51e64d440d7f13f2231c5d0a56ea0bc334b3a39db4644499153823456f5d7b20f8bec724b3ceaace7c1718c3b941c300135769d01bb663979"
   ]
 }
-x-commit-hash: "7d2788fc94a071bca897aefc95f1464911870a4c"
+x-commit-hash: "3276f90725e4423790a43065cc51ddbbba61eb89"

binaryen-archive/esy.lock/opam/{yojson.2.0.2 → yojson.2.1.0}/opam

@@ -1,38 +1,48 @@
 opam-version: "2.0"
-maintainer: ["nathan@cryptosense.com" "marek@xivilization.net"]
+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.
+
+ydump is a pretty-printing command-line program provided with the
+yojson package."""
+maintainer: [
+  "paul-elliot@tarides.com" "nathan@tarides.com" "marek@tarides.com"
+]
 authors: ["Martin Jambon"]
+license: "BSD-3-Clause"
 homepage: "https://github.com/ocaml-community/yojson"
+doc: "https://ocaml-community.github.io/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}
-]
 depends: [
+  "dune" {>= "2.7"}
   "ocaml" {>= "4.02.3"}
-  "dune" {>= "2.0"}
   "cppo" {build}
   "alcotest" {with-test & >= "0.8.5"}
-  "odoc" {with-doc}
   "seq" {>= "0.2.2"}
+  "odoc" {with-doc}
 ]
-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.
-
-ydump is a pretty-printing command-line program provided with the
-yojson package."""
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-community/yojson.git"
 url {
   src:
-    "https://github.com/ocaml-community/yojson/releases/download/2.0.2/yojson-2.0.2.tbz"
+    "https://github.com/ocaml-community/yojson/releases/download/2.1.0/yojson-2.1.0.tbz"
   checksum: [
-    "sha256=876bb6f38af73a84a29438a3da35e4857c60a14556a606525b148c6fdbe5461b"
-    "sha512=9e150689a814a64e53e361e336fe826df5a3e3851d1367fda4a001392175c29348de55db0b7d7ba18539dec2cf78198efcb7f41b77a9861763f5aa97c05509ad"
+    "sha256=9fcb1ff2db58ab259f9228796b0ada4794eae97177b1833371380c4e4f90b15d"
+    "sha512=31ab8580e0e4e8a05459fbec2fb9424a3df4cf5aef6df21fc577dbe3d32e81103a632c6a511c4dcf1f51819e88b38d2ce7d6888545bc3f359e69e070f8d2e69c"
   ]
 }
-x-commit-hash: "17ca03c5877a4346f0691443f35ed9678f99962f"
+x-commit-hash: "42fa0887cb870bdbd1751d98cd23f99d6b29751d"

binaryen-archive/esy.lock/overrides/opam__s__ocamlfind_opam__c__1.9.6_opam_override/files/findlib.patch

@@ -0,0 +1,11 @@
+--- ./Makefile
++++ ./Makefile
+@@ -55,7 +55,7 @@
+ 	export USE_CYGPATH; \
+ 	cat findlib.conf.in | \
+ 	    $(SH) tools/patch '@SITELIB@' '$(OCAML_SITELIB)' | \
+-			$(SH) tools/patch '@FINDLIB_PATH@' '$(FINDLIB_PATH)' -p >findlib.conf
++			$(SH) tools/patch '@FINDLIB_PATH@' '$(FINDLIB_PATH)' >findlib.conf
+ 	if ./tools/cmd_from_same_dir ocamlc; then \
+ 		echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
+ 	fi

binaryen-archive/package.json

@@ -1,17 +1,17 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.20.1",
+  "version": "0.22.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
     "ocaml": ">= 4.12.0",
-    "@grain/libbinaryen": ">= 110.0.0 < 111.0.0",
+    "@grain/libbinaryen": ">= 112.0.0 < 113.0.0",
     "@opam/dune": ">= 3.0.0",
     "@opam/dune-configurator": ">= 3.0.0"
   },
   "devDependencies": {
-    "@opam/js_of_ocaml-compiler": ">= 4.1.0 < 5.0.0",
+    "@opam/js_of_ocaml-compiler": ">= 4.1.0 < 6.0.0",
     "@opam/ocamlformat": "0.24.1",
     "@opam/ocaml-lsp-server": ">= 1.9.1 < 1.13.0"
   },

binaryen-archive/src/array_type.c

@@ -0,0 +1,29 @@
+#define CAML_NAME_SPACE
+#include <caml/mlvalues.h>
+#include <caml/fail.h>
+#include <caml/memory.h>
+
+#include "binaryen-c.h"
+#include "ocaml_helpers.h"
+
+CAMLprim value
+caml_binaryen_array_type_get_element_type(value _heapType) {
+  CAMLparam1(_heapType);
+  BinaryenHeapType heapType = BinaryenHeapType_val(_heapType);
+  BinaryenType ty = BinaryenArrayTypeGetElementType(heapType);
+  CAMLreturn(alloc_BinaryenType(ty));
+}
+
+CAMLprim value
+caml_binaryen_array_type_get_element_packed_type(value _heapType) {
+  CAMLparam1(_heapType);
+  BinaryenHeapType heapType = BinaryenHeapType_val(_heapType);
+  CAMLreturn(Val_int(BinaryenArrayTypeGetElementPackedType(heapType)));
+}
+
+CAMLprim value
+caml_binaryen_array_type_is_element_mutable(value _heapType) {
+  CAMLparam1(_heapType);
+  BinaryenHeapType heapType = BinaryenHeapType_val(_heapType);
+  CAMLreturn(Val_bool(BinaryenArrayTypeIsElementMutable(heapType)));
+}

binaryen-archive/src/array_type.js

@@ -0,0 +1,17 @@
+//Provides: caml_binaryen_array_type_get_element_type
+//Requires: Binaryen
+function caml_binaryen_array_type_get_element_type(heapType) {
+  return Binaryen._BinaryenArrayTypeGetElementType(heapType);
+}
+
+//Provides: caml_binaryen_array_type_get_element_packed_type
+//Requires: Binaryen
+function caml_binaryen_array_type_get_element_packed_type(heapType) {
+  return Binaryen._BinaryenArrayTypeGetElementPackedType(heapType);
+}
+
+//Provides: caml_binaryen_array_type_is_element_mutable
+//Requires: Binaryen
+function caml_binaryen_array_type_is_element_mutable(heapType) {
+  return Binaryen._BinaryenArrayTypeIsElementMutable(heapType);
+}

binaryen-archive/src/array_type.ml

@@ -0,0 +1,8 @@
+external get_element_type : Heap_type.t -> Type.t
+  = "caml_binaryen_array_type_get_element_type"
+
+external get_element_packed_type : Heap_type.t -> Packed_type.t
+  = "caml_binaryen_array_type_get_element_packed_type"
+
+external is_element_mutable : Heap_type.t -> bool
+  = "caml_binaryen_array_type_is_element_mutable"

binaryen-archive/src/array_type.mli

@@ -0,0 +1,3 @@
+val get_element_type : Heap_type.t -> Type.t
+val get_element_packed_type : Heap_type.t -> Packed_type.t
+val is_element_mutable : Heap_type.t -> bool

binaryen-archive/src/dune

@@ -5,39 +5,45 @@
  (foreign_stubs
   (language c)
   (names
-   binaryen_stubs_types
-   binaryen_stubs_ops
-   binaryen_stubs_literals
-   binaryen_stubs_expressions
-   binaryen_stubs_functions
-   binaryen_stubs_imports
-   binaryen_stubs_exports
-   binaryen_stubs_globals
-   binaryen_stubs_tables
-   binaryen_stubs_memory
-   binaryen_stubs_features
-   binaryen_stubs_modules
-   binaryen_stubs_settings
-   binaryen_stubs_packed_types
-   binaryen_stubs_heap_types
-   binaryen_stubs_type_system
+   array_type
+   type
+   op
+   literal
+   expression
+   function
+   import
+   export
+   global
+   table
+   memory
+   module_feature
+   module
+   settings
+   packed_type
+   heap_type
+   signature_type
+   struct_type
+   type_system
    ocaml_helpers)
   (flags :standard -O2 -Wall -Wextra))
  (js_of_ocaml
   (javascript_files
-   binaryen_stubs_types.js
-   binaryen_stubs_ops.js
-   binaryen_stubs_literals.js
-   binaryen_stubs_expressions.js
-   binaryen_stubs_functions.js
-   binaryen_stubs_imports.js
-   binaryen_stubs_exports.js
-   binaryen_stubs_globals.js
-   binaryen_stubs_tables.js
-   binaryen_stubs_memory.js
-   binaryen_stubs_features.js
-   binaryen_stubs_modules.js
-   binaryen_stubs_settings.js
-   binaryen_stubs_packed_types.js
-   binaryen_stubs_heap_types.js
-   binaryen_stubs_type_system.js)))
+   array_type.js
+   type.js
+   op.js
+   literal.js
+   expression.js
+   function.js
+   import.js
+   export.js
+   global.js
+   table.js
+   memory.js
+   module_feature.js
+   module.js
+   settings.js
+   packed_type.js
+   heap_type.js
+   signature_type.js
+   struct_type.js
+   type_system.js)))

binaryen-archive/src/{binaryen_stubs_exports.c → export.c}

@@ -8,14 +8,6 @@
 #include "ocaml_helpers.h"
 
 
-/* Allocating an OCaml custom block to hold the given BinaryenExportRef */
-static value alloc_BinaryenExportRef(BinaryenExportRef exp)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenExportRef), 0, 1);
-  BinaryenExportRef_val(v) = exp;
-  return v;
-}
-
 CAMLprim value
 caml_binaryen_add_function_export(value _module, value _internalName, value _externalName) {
   CAMLparam3(_module, _internalName, _externalName);

binaryen-archive/src/{binaryen_stubs_expressions.c → expression.c}

@@ -7,15 +7,6 @@
 #include "binaryen-c.h"
 #include "ocaml_helpers.h"
 
-
-/* Allocating an OCaml custom block to hold the given BinaryenExpressionRef */
-static value alloc_BinaryenExpressionRef(BinaryenExpressionRef exp)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenExpressionRef), 0, 1);
-  BinaryenExpressionRef_val(v) = exp;
-  return v;
-}
-
 CAMLprim value
 caml_binaryen_expression_get_id(value _expr) {
   CAMLparam1(_expr);
@@ -450,6 +441,25 @@ caml_binaryen_pop(value _module, value _ty) {
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }
 
+CAMLprim value
+caml_binaryen_i31_new(value _module, value _val) {
+  CAMLparam2(_module, _val);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_val);
+  BinaryenExpressionRef exp = BinaryenI31New(module, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_i31_get(value _module, value _val, value _signed) {
+  CAMLparam3(_module, _val, _signed);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_val);
+  bool isSigned = Bool_val(_signed);
+  BinaryenExpressionRef exp = BinaryenI31Get(module, val, isSigned);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
 CAMLprim value
 caml_binaryen_expression_id_invalid(value unit) {
   CAMLparam1(unit);
@@ -662,9 +672,9 @@ caml_binaryen_expression_id_ref_null(value unit) {
   CAMLreturn(Val_int(BinaryenRefNullId()));
 }
 CAMLprim value
-caml_binaryen_expression_id_ref_is(value unit) {
+caml_binaryen_expression_id_ref_is_null(value unit) {
   CAMLparam1(unit);
-  CAMLreturn(Val_int(BinaryenRefIsId()));
+  CAMLreturn(Val_int(BinaryenRefIsNullId()));
 }
 CAMLprim value
 caml_binaryen_expression_id_ref_as(value unit) {
@@ -1836,12 +1846,11 @@ caml_binaryen_ref_null(value _module, value _ty) {
 }
 
 CAMLprim value
-caml_binaryen_ref_is(value _module, value _op, value _value) {
-  CAMLparam3(_module, _op, _value);
+caml_binaryen_ref_is_null(value _module, value _value) {
+  CAMLparam2(_module, _value);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
-  BinaryenOp op = BinaryenOp_val(_op);
   BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
-  BinaryenExpressionRef exp = BinaryenRefIs(module, op, val);
+  BinaryenExpressionRef exp = BinaryenRefIsNull(module, val);
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }
 

binaryen-archive/src/{binaryen_stubs_expressions.js → expression.js}

@@ -541,6 +541,20 @@ function caml_binaryen_pop(wasm_mod, typ) {
   return Binaryen._BinaryenPop(wasm_mod, typ);
 }
 
+//Provides: caml_binaryen_i31_new
+function caml_binaryen_i31_new(wasm_mod, typ) {
+  return wasm_mod.i31.new(typ);
+}
+
+//Provides: caml_binaryen_i31_get
+function caml_binaryen_i31_get(wasm_mod, typ, signed) {
+  if (signed) {
+    return wasm_mod.i31.get_s(typ);
+  } else {
+    return wasm_mod.i31.get_u(typ);
+  }
+}
+
 //Provides: caml_binaryen_expression_id_invalid
 //Requires: Binaryen
 function caml_binaryen_expression_id_invalid() {
@@ -752,10 +766,10 @@ function caml_binaryen_expression_id_pop() {
 function caml_binaryen_expression_id_ref_null() {
   return Binaryen.RefNullId;
 }
-//Provides: caml_binaryen_expression_id_ref_is
+//Provides: caml_binaryen_expression_id_ref_is_null
 //Requires: Binaryen
-function caml_binaryen_expression_id_ref_is() {
-  return Binaryen.RefIsId;
+function caml_binaryen_expression_id_ref_is_null() {
+  return Binaryen.RefIsNullId;
 }
 //Provides: caml_binaryen_expression_id_ref_as
 //Requires: Binaryen
@@ -1664,10 +1678,10 @@ function caml_binaryen_ref_null(wasm_mod, typ) {
   return wasm_mod.ref.null(typ);
 }
 
-//Provides: caml_binaryen_ref_is
+//Provides: caml_binaryen_ref_is_null
 //Requires: Binaryen
-function caml_binaryen_ref_is(wasm_mod, op, value) {
-  return Binaryen._BinaryenRefIs(wasm_mod, op, value);
+function caml_binaryen_ref_is_null(wasm_mod, value) {
+  return Binaryen.ExpressionIds.RefIsNull(wasm_mod, value);
 }
 
 //Provides: caml_binaryen_ref_as

binaryen-archive/src/expression.ml

@@ -251,9 +251,10 @@ external id_ref_null : unit -> int = "caml_binaryen_expression_id_ref_null"
 
 let id_ref_null = id_ref_null ()
 
-external id_ref_is : unit -> int = "caml_binaryen_expression_id_ref_is"
+external id_ref_is_null : unit -> int
+  = "caml_binaryen_expression_id_ref_is_null"
 
-let id_ref_is = id_ref_is ()
+let id_ref_is_null = id_ref_is_null ()
 
 external id_ref_func : unit -> int = "caml_binaryen_expression_id_ref_func"
 
@@ -385,7 +386,7 @@ let get_kind expr =
   | n when n = id_unreachable -> Unreachable
   | n when n = id_pop -> Pop
   | n when n = id_ref_null -> RefNull
-  | n when n = id_ref_is -> RefIs
+  | n when n = id_ref_is_null -> RefIs
   | n when n = id_ref_func -> RefFunc
   | n when n = id_ref_eq -> RefEq
   | n when n = id_try -> Try
@@ -799,6 +800,14 @@ module Pop = struct
   (** Module, type *)
 end
 
+module I31 = struct
+  external make : Module.t -> t -> t = "caml_binaryen_i31_new"
+  (** Module, value *)
+
+  external get : Module.t -> t -> bool -> t = "caml_binaryen_i31_get"
+  (** Module, i31, is_signed *)
+end
+
 module Null = struct
   external make : unit -> t = "caml_binaryen_null_expression"
   (** A null reference. *)
@@ -808,8 +817,8 @@ module Ref = struct
   external null : Module.t -> Type.t -> t = "caml_binaryen_ref_null"
   (** Module, type *)
 
-  external is : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_is"
-  (** Module, op, value *)
+  external is_null : Module.t -> t -> t = "caml_binaryen_ref_is_null"
+  (** Module, value *)
 
   external as_ : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_as"
   (** Module, op, value *)

binaryen-archive/src/expression.mli

@@ -321,6 +321,14 @@ module Pop : sig
   val make : Module.t -> Type.t -> t
 end
 
+module I31 : sig
+  val make : Module.t -> t -> t
+  (** Module, value *)
+
+  val get : Module.t -> t -> bool -> t
+  (** Module, i31, is_signed *)
+end
+
 module Null : sig
   val make : unit -> t
 end
@@ -329,8 +337,8 @@ module Ref : sig
   val null : Module.t -> Type.t -> t
   (** Module, type *)
 
-  val is : Module.t -> Op.t -> t -> t
-  (** Module, op, value *)
+  val is_null : Module.t -> t -> t
+  (** Module, value *)
 
   val as_ : Module.t -> Op.t -> t -> t
   (** Module, op, value *)

binaryen-archive/src/{binaryen_stubs_functions.c → function.c}

@@ -8,30 +8,6 @@
 #include "ocaml_helpers.h"
 
 
-/* Allocating an OCaml custom block to hold the given BinaryenFunctionRef */
-static value alloc_BinaryenFunctionRef(BinaryenFunctionRef fun)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenFunctionRef), 0, 1);
-  BinaryenFunctionRef_val(v) = fun;
-  return v;
-}
-
-/* Allocating an OCaml custom block to hold the given BinaryenExpressionRef */
-static value alloc_BinaryenExpressionRef(BinaryenExpressionRef exp)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenExpressionRef), 0, 1);
-  BinaryenExpressionRef_val(v) = exp;
-  return v;
-}
-
-/* Allocating an OCaml custom block to hold the given BinaryenType */
-static value alloc_BinaryenType(BinaryenType typ)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenType), 0, 1);
-  BinaryenType_val(v) = typ;
-  return v;
-}
-
 CAMLprim value
 caml_binaryen_add_function(value _module, value _name, value _params, value _results, value _locals, value _body) {
   CAMLparam5(_module, _name, _params, _results, _locals);

binaryen-archive/src/{binaryen_stubs_globals.c → global.c}

@@ -7,31 +7,6 @@
 #include "binaryen-c.h"
 #include "ocaml_helpers.h"
 
-
-/* Allocating an OCaml custom block to hold the given BinaryenGlobalRef */
-static value alloc_BinaryenGlobalRef(BinaryenGlobalRef exp)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenGlobalRef), 0, 1);
-  BinaryenGlobalRef_val(v) = exp;
-  return v;
-}
-
-/* Allocating an OCaml custom block to hold the given BinaryenType */
-static value alloc_BinaryenType(BinaryenType typ)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenType), 0, 1);
-  BinaryenType_val(v) = typ;
-  return v;
-}
-
-/* Allocating an OCaml custom block to hold the given BinaryenExpressionRef */
-static value alloc_BinaryenExpressionRef(BinaryenExpressionRef exp)
-{
-  value v = caml_alloc_custom(&binaryen_ops, sizeof(BinaryenExpressionRef), 0, 1);
-  BinaryenExpressionRef_val(v) = exp;
-  return v;
-}
-
 CAMLprim value
 caml_binaryen_add_global(value _module, value _name, value _ty, value _mutable_, value _init) {
   CAMLparam5(_module, _name, _ty, _mutable_, _init);