@grain/binaryen.ml 0.20.0 → 0.21.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.0}/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.0/dune-3.9.0.tbz"
   checksum: [
-    "sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce"
-    "sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52"
+    "sha256=c4825a9de454aedf450c2db25ac353033e31d326a9d1b4b7a2cd7260639bd544"
+    "sha512=55d83bfee7c741cb5b74187674f9ef992ddf0b149f8d22a0a392c4c8ddf1075e9192eebd81cf36c115331cd96e10824100c6c338835d26c25e965e68ed94673d"
   ]
 }
-x-commit-hash: "7d2788fc94a071bca897aefc95f1464911870a4c"
+x-commit-hash: "891fa5a7d72655634378425d51a1cf703ff93336"

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.0}/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.0/dune-3.9.0.tbz"
   checksum: [
-    "sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce"
-    "sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52"
+    "sha256=c4825a9de454aedf450c2db25ac353033e31d326a9d1b4b7a2cd7260639bd544"
+    "sha512=55d83bfee7c741cb5b74187674f9ef992ddf0b149f8d22a0a392c4c8ddf1075e9192eebd81cf36c115331cd96e10824100c6c338835d26c25e965e68ed94673d"
   ]
 }
-x-commit-hash: "7d2788fc94a071bca897aefc95f1464911870a4c"
+x-commit-hash: "891fa5a7d72655634378425d51a1cf703ff93336"

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.0",
+  "version": "0.21.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": ">= 111.0.0 < 112.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);

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

@@ -189,11 +189,12 @@ function caml_binaryen_load(
 
   switch (typ) {
     case Binaryen.i32: {
-      if (signed) {
-        if (bytes === 4) {
-          return wasm_mod.i32.load(offset, align, ptr, name);
-        }
+      // Using four bytes doesn't matter if it is signed or unsigned
+      if (bytes === 4) {
+        return wasm_mod.i32.load(offset, align, ptr, name);
+      }
 
+      if (signed) {
         if (bytes === 1) {
           return wasm_mod.i32.load8_s(offset, align, ptr, name);
         }
@@ -210,13 +211,16 @@ function caml_binaryen_load(
           return wasm_mod.i32.load16_u(offset, align, ptr, name);
         }
       }
+
+      break;
     }
     case Binaryen.i64: {
-      if (signed) {
-        if (bytes === 8) {
-          return wasm_mod.i64.load(offset, align, ptr, name);
-        }
+      // Using eight bytes doesn't matter if it is signed or unsigned
+      if (bytes === 8) {
+        return wasm_mod.i64.load(offset, align, ptr, name);
+      }
 
+      if (signed) {
         if (bytes === 1) {
           return wasm_mod.i64.load8_s(offset, align, ptr, name);
         }
@@ -241,6 +245,8 @@ function caml_binaryen_load(
           return wasm_mod.i64.load32_u(offset, align, ptr, name);
         }
       }
+
+      break;
     }
     case Binaryen.f32: {
       return wasm_mod.f32.load(offset, align, ptr, name);
@@ -300,6 +306,8 @@ function caml_binaryen_store(
       if (bytes === 2) {
         return wasm_mod.i32.store16(offset, align, ptr, value, name);
       }
+
+      break;
     }
     case Binaryen.i64: {
       if (bytes === 8) {
@@ -317,6 +325,8 @@ function caml_binaryen_store(
       if (bytes === 4) {
         return wasm_mod.i64.store32(offset, align, ptr, value, name);
       }
+
+      break;
     }
     case Binaryen.f32: {
       return wasm_mod.f32.store(offset, align, ptr, value, name);

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);

binaryen-archive/src/heap_type.c

@@ -0,0 +1,171 @@
+#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_heap_type_ext(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeExt();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_func(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeFunc();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_any(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeAny();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_eq(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeEq();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_i31(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeI31();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_data(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeData();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_array(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeArray();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_string(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeString();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_stringview_wtf8(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeStringviewWTF8();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_stringview_wtf16(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeStringviewWTF16();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_stringview_iter(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeStringviewIter();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_none(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeNone();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_noext(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeNoext();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_nofunc(value unit) {
+  CAMLparam1(unit);
+  BinaryenHeapType ty = BinaryenHeapTypeNofunc();
+  CAMLreturn(alloc_BinaryenHeapType(ty));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_is_basic(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
+  bool result = BinaryenHeapTypeIsBasic(ty);
+  CAMLreturn(Val_bool(result));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_is_signature(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
+  bool result = BinaryenHeapTypeIsSignature(ty);
+  CAMLreturn(Val_bool(result));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_is_struct(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
+  bool result = BinaryenHeapTypeIsStruct(ty);
+  CAMLreturn(Val_bool(result));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_is_array(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
+  bool result = BinaryenHeapTypeIsArray(ty);
+  CAMLreturn(Val_bool(result));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_is_bottom(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
+  bool result = BinaryenHeapTypeIsBottom(ty);
+  CAMLreturn(Val_bool(result));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_get_bottom(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
+  BinaryenHeapType heapTy = BinaryenHeapTypeGetBottom(ty);
+  CAMLreturn(alloc_BinaryenHeapType(heapTy));
+}
+
+CAMLprim value
+caml_binaryen_heap_type_is_sub_type(value _left, value _right) {
+  CAMLparam2(_left, _right);
+  BinaryenHeapType left = BinaryenHeapType_val(_left);
+  BinaryenHeapType right = BinaryenHeapType_val(_right);
+  bool result = BinaryenHeapTypeIsSubType(left, right);
+  CAMLreturn(Val_bool(result));
+}
+
+CAMLprim value
+caml_binaryen_type_get_heap_type(value _ty) {
+  CAMLparam1(_ty);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenHeapType heapTy = BinaryenTypeGetHeapType(ty);
+  CAMLreturn(alloc_BinaryenHeapType(heapTy));
+}