feat!: Upgrade to Binaryen v116 (#202)

Author: ospencer

binaryen.opam

@@ -16,5 +16,5 @@ depends: [
   "dune" {>= "3.0.0"}
   "dune-configurator" {>= "3.0.0"}
   "js_of_ocaml-compiler" {>= "4.1.0" < "6.0.0"}
-  "libbinaryen" {>= "115.0.0" < "116.0.0"}
+  "libbinaryen" {>= "116.0.0" < "117.0.0"}
 ]

esy.lock/index.json

@@ -6,7 +6,7 @@
   "license": "Apache-2.0",
   "dependencies": {
     "ocaml": ">= 4.13.0 < 5.0.0",
-    "@grain/libbinaryen": ">= 115.0.0 < 116.0.0",
+    "@grain/libbinaryen": ">= 116.0.0 < 117.0.0",
     "@opam/dune": ">= 3.0.0",
     "@opam/dune-configurator": ">= 3.0.0"
   },

package.json

@@ -442,11 +442,11 @@ caml_binaryen_pop(value _module, value _ty) {
 }
 
 CAMLprim value
-caml_binaryen_i31_new(value _module, value _val) {
+caml_binaryen_ref_i31(value _module, value _val) {
   CAMLparam2(_module, _val);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
   BinaryenExpressionRef val = BinaryenExpressionRef_val(_val);
-  BinaryenExpressionRef exp = BinaryenI31New(module, val);
+  BinaryenExpressionRef exp = BinaryenRefI31(module, val);
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }
 
@@ -717,9 +717,9 @@ caml_binaryen_expression_id_tuple_extract(value unit) {
   CAMLreturn(Val_int(BinaryenTupleExtractId()));
 }
 CAMLprim value
-caml_binaryen_expression_id_i31_new(value unit) {
+caml_binaryen_expression_id_ref_i31(value unit) {
   CAMLparam1(unit);
-  CAMLreturn(Val_int(BinaryenI31NewId()));
+  CAMLreturn(Val_int(BinaryenRefI31Id()));
 }
 CAMLprim value
 caml_binaryen_expression_id_i31_get(value unit) {

src/expression.c

@@ -542,9 +542,9 @@ 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_ref_i31
+function caml_binaryen_ref_i31(wasm_mod, typ) {
+  return wasm_mod.ref.i31(typ);
 }
 
 //Provides: caml_binaryen_i31_get
@@ -812,10 +812,10 @@ function caml_binaryen_expression_id_tuple_make() {
 function caml_binaryen_expression_id_tuple_extract() {
   return Binaryen.TupleExtractId;
 }
-//Provides: caml_binaryen_expression_id_i31_new
+//Provides: caml_binaryen_expression_id_ref_i31
 //Requires: Binaryen
-function caml_binaryen_expression_id_i31_new() {
-  return Binaryen.I31NewId;
+function caml_binaryen_expression_id_ref_i31() {
+  return Binaryen.RefI31Id;
 }
 //Provides: caml_binaryen_expression_id_i31_get
 //Requires: Binaryen

src/expression.js

@@ -285,9 +285,9 @@ external id_tuple_extract : unit -> int
 
 let id_tuple_extract = id_tuple_extract ()
 
-external id_i31_new : unit -> int = "caml_binaryen_expression_id_i31_new"
+external id_ref_i31 : unit -> int = "caml_binaryen_expression_id_ref_i31"
 
-let id_i31_new = id_i31_new ()
+let id_ref_i31 = id_ref_i31 ()
 
 external id_i31_get : unit -> int = "caml_binaryen_expression_id_i31_get"
 
@@ -394,7 +394,7 @@ let get_kind expr =
   | n when n = id_rethrow -> Rethrow
   | n when n = id_tuple_make -> TupleMake
   | n when n = id_tuple_extract -> TupleExtract
-  | n when n = id_i31_new -> I31New
+  | n when n = id_ref_i31 -> I31New
   | n when n = id_i31_get -> I31Get
   | n when n = id_call_ref -> CallRef
   | n when n = id_ref_test -> RefTest
@@ -820,7 +820,7 @@ module Pop = struct
 end
 
 module I31 = struct
-  external make : Module.t -> t -> t = "caml_binaryen_i31_new"
+  external make : Module.t -> t -> t = "caml_binaryen_ref_i31"
   (** Module, value *)
 
   external get : Module.t -> t -> bool -> t = "caml_binaryen_i31_get"