@grain/binaryen.ml 0.26.0 → 0.28.0

binaryen-archive/esy.lock/opam/{xdg.3.18.2 → xdg.3.20.2}/opam

@@ -9,11 +9,12 @@ homepage: "https://github.com/ocaml/dune"
 doc: "https://dune.readthedocs.io/"
 bug-reports: "https://github.com/ocaml/dune/issues"
 depends: [
-  "dune" {>= "3.12"}
+  "dune" {>= "3.20"}
   "ocaml" {>= "4.08"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
+x-maintenance-intent: ["(latest)"]
 build: [
   ["dune" "subst"] {dev}
   ["rm" "-rf" "vendor/csexp"]
@@ -31,10 +32,10 @@ build: [
 ]
 url {
   src:
-    "https://github.com/ocaml/dune/releases/download/3.18.2/dune-3.18.2.tbz"
+    "https://github.com/ocaml/dune/releases/download/3.20.2/dune-3.20.2.tbz"
   checksum: [
-    "sha256=56be509ffc3c5ba652113d9e6b43edb04a691f1e1f6cbba17b9d243b1239a7af"
-    "sha512=ee04a0c4ab946817018c78cd9b19c8d3082ee3b1cef78c699fff4ea37fd79543823a9751d0b945d2fd1783396ceded045cbec986a85f7a8f7bac93e04650fff3"
+    "sha256=b1a86b2d60bdb4a8b9bb6861bdf2f9f28a6e7cb5d833ce81afecceb9ef9ca549"
+    "sha512=ed14df9163e487d4ae7d0a2427eaab7823ef1f0ef2d93f0b783e6f163bbd5b44ba73f055d60b84e76f476fe11d38e794013628a1da776d9ec13cca9666e7b7ff"
   ]
 }
-x-commit-hash: "7b971c877d1403da3d536cc180cdd384c7b26341"
+x-commit-hash: "1e54fd3f450aae7fb41ffb6b7c8b7a5aed754777"

binaryen-archive/esy.lock/opam/{yojson.2.2.2 → yojson.3.0.0}/opam

@@ -16,9 +16,8 @@ doc: "https://ocaml.org/p/yojson/latest"
 bug-reports: "https://github.com/ocaml-community/yojson/issues"
 depends: [
   "dune" {>= "2.7"}
-  "ocaml" {>= "4.02.3"}
+  "ocaml" {>= "4.08"}
   "alcotest" {with-test & >= "0.8.5"}
-  "seq" {>= "0.2.2"}
   "odoc" {with-doc}
 ]
 build: [
@@ -38,10 +37,10 @@ build: [
 dev-repo: "git+https://github.com/ocaml-community/yojson.git"
 url {
   src:
-    "https://github.com/ocaml-community/yojson/releases/download/2.2.2/yojson-2.2.2.tbz"
+    "https://github.com/ocaml-community/yojson/releases/download/3.0.0/yojson-3.0.0.tbz"
   checksum: [
-    "sha256=9abfad8c9a79d4723ad2f6448e669c1e68dbfc87cc54a1b7c064b0c90912c595"
-    "sha512=ac52eae3ca1d3129a7885ca638e6ae5bcfc387598a82cc30d3e4988fd154f1756719c399f96e950d898c79a6dbd4ccc44b6f468bcafbd620e6945a0415b41e0c"
+    "sha256=99414da7609b92a02474ef4b49ecda15edc8cbba5229341b124e7e4695c39610"
+    "sha512=896d0ea829a36ccadba6628800369c1a3ab9e7c64dbda8b76331889c9db481cd64e137f467481ae80a8dd5fca45d748bfa71f58641806cc1bb1a007f8291789f"
   ]
 }
-x-commit-hash: "3f82b79d1865eec82c6f498ee1835a90c74c31b4"
+x-commit-hash: "b2193e8e0c88c6501710d08b836b3219673383f3"

binaryen-archive/package.json

@@ -1,19 +1,19 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.26.0",
+  "version": "0.28.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
-    "ocaml": ">= 4.13.0 < 5.0.0",
-    "@grain/libbinaryen": ">= 116.0.0 < 117.0.0",
+    "ocaml": ">= 4.13.0 < 5.4.0",
+    "@grain/libbinaryen": "118.0.0-b",
     "@opam/dune": ">= 3.0.0",
     "@opam/dune-configurator": ">= 3.0.0"
   },
   "devDependencies": {
-    "@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"
+    "@opam/js_of_ocaml-compiler": ">= 6.0.0 < 7.0.0",
+    "@opam/ocamlformat": "0.27.0",
+    "@opam/ocaml-lsp-server": ">= 1.9.1 < 2.0.0"
   },
   "resolutions": {
     "@opam/ocp-indent": "1.7.0"

binaryen-archive/src/expression.js

@@ -882,11 +882,12 @@ function caml_binaryen_expression_id_array_len() {
 
 //Provides: caml_binaryen_expression_print
 //Requires: Binaryen
+//Requires: caml_sys_fds
 //Requires: caml_string_of_jsstring
 //Requires: caml_ml_output, caml_ml_string_length
 function caml_binaryen_expression_print(expr) {
   var text = Binaryen.emitText(expr);
-  var chanid = 1; // stdout
+  var chanid = caml_sys_fds[1].chanid; // stdout
   var s = caml_string_of_jsstring(text);
   caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
 }

binaryen-archive/src/expression.ml

@@ -706,22 +706,9 @@ module Memory_init = struct
   external make : Module.t -> string -> t -> t -> t -> string -> t
     = "caml_binaryen_memory_init__bytecode" "caml_binaryen_memory_init"
   (** Module, segment, destination, offset, size, memory_name *)
-
-  (* Binaryen v113 still uses indexes for data segements, so we only want to change the binding itself, not our interface *)
-  let make wasm_mod segment dest offset size memory_name =
-    make wasm_mod (string_of_int segment) dest offset size memory_name
-
   external get_segment : t -> string = "caml_binaryen_memory_init_get_segment"
-
-  (* Binaryen v113 still uses indexes for data segements, so we only want to change the binding itself, not our interface *)
-  let get_segment expr = int_of_string (get_segment expr)
-
   external set_segment : t -> string -> unit
     = "caml_binaryen_memory_init_set_segment"
-
-  (* Binaryen v113 still uses indexes for data segements, so we only want to change the binding itself, not our interface *)
-  let set_segment expr segment = set_segment expr (string_of_int segment)
-
   external get_dest : t -> t = "caml_binaryen_memory_init_get_dest"
   external set_dest : t -> t -> unit = "caml_binaryen_memory_init_set_dest"
   external get_offset : t -> t = "caml_binaryen_memory_init_get_offset"
@@ -733,20 +720,9 @@ end
 module Data_drop = struct
   external make : Module.t -> string -> t = "caml_binaryen_data_drop"
   (** Module, segment. *)
-
-  (* Binaryen v113 still uses indexes for data segements, so we only want to change the binding itself, not our interface *)
-  let make wasm_mod segment = make wasm_mod (string_of_int segment)
-
   external get_segment : t -> string = "caml_binaryen_data_drop_get_segment"
-
-  (* Binaryen v113 still uses indexes for data segements, so we only want to change the binding itself, not our interface *)
-  let get_segment expr = int_of_string (get_segment expr)
-
   external set_segment : t -> string -> unit
     = "caml_binaryen_data_drop_set_segment"
-
-  (* Binaryen v113 still uses indexes for data segements, so we only want to change the binding itself, not our interface *)
-  let set_segment expr segment = set_segment expr (string_of_int segment)
 end
 
 module Memory_copy = struct

binaryen-archive/src/expression.mli

@@ -256,9 +256,9 @@ module Memory_grow : sig
 end
 
 module Memory_init : sig
-  val make : Module.t -> int -> t -> t -> t -> string -> t
-  val get_segment : t -> int
-  val set_segment : t -> int -> unit
+  val make : Module.t -> string -> t -> t -> t -> string -> t
+  val get_segment : t -> string
+  val set_segment : t -> string -> unit
   val get_dest : t -> t
   val set_dest : t -> t -> unit
   val get_offset : t -> t
@@ -268,9 +268,9 @@ module Memory_init : sig
 end
 
 module Data_drop : sig
-  val make : Module.t -> int -> t
-  val get_segment : t -> int
-  val set_segment : t -> int -> unit
+  val make : Module.t -> string -> t
+  val get_segment : t -> string
+  val set_segment : t -> string -> unit
 end
 
 module Memory_copy : sig

binaryen-archive/src/heap_type.c

@@ -63,27 +63,6 @@ caml_binaryen_heap_type_string(value unit) {
   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);

binaryen-archive/src/heap_type.js

@@ -46,24 +46,6 @@ function caml_binaryen_heap_type_string() {
   return Binaryen._BinaryenHeapTypeString();
 }
 
-//Provides: caml_binaryen_heap_type_stringview_wtf8
-//Requires: Binaryen
-function caml_binaryen_heap_type_stringview_wtf8() {
-  return Binaryen._BinaryenHeapTypeStringviewWTF8();
-}
-
-//Provides: caml_binaryen_heap_type_stringview_wtf16
-//Requires: Binaryen
-function caml_binaryen_heap_type_stringview_wtf16() {
-  return Binaryen._BinaryenHeapTypeStringviewWTF16();
-}
-
-//Provides: caml_binaryen_heap_type_stringview_iter
-//Requires: Binaryen
-function caml_binaryen_heap_type_stringview_iter() {
-  return Binaryen._BinaryenHeapTypeStringviewIter();
-}
-
 //Provides: caml_binaryen_heap_type_none
 //Requires: Binaryen
 function caml_binaryen_heap_type_none() {

binaryen-archive/src/heap_type.ml

@@ -8,12 +8,6 @@ external i31 : unit -> t = "caml_binaryen_heap_type_i31"
 external struct_ : unit -> t = "caml_binaryen_heap_type_struct"
 external array : unit -> t = "caml_binaryen_heap_type_array"
 external string : unit -> t = "caml_binaryen_heap_type_string"
-external stringview_wtf8 : unit -> t = "caml_binaryen_heap_type_stringview_wtf8"
-
-external stringview_wtf16 : unit -> t
-  = "caml_binaryen_heap_type_stringview_wtf16"
-
-external stringview_iter : unit -> t = "caml_binaryen_heap_type_stringview_iter"
 external none : unit -> t = "caml_binaryen_heap_type_none"
 external noext : unit -> t = "caml_binaryen_heap_type_noext"
 external nofunc : unit -> t = "caml_binaryen_heap_type_nofunc"

binaryen-archive/src/heap_type.mli

@@ -8,9 +8,6 @@ val i31 : unit -> t
 val struct_ : unit -> t
 val array : unit -> t
 val string : unit -> t
-val stringview_wtf8 : unit -> t
-val stringview_wtf16 : unit -> t
-val stringview_iter : unit -> t
 val none : unit -> t
 val noext : unit -> t
 val nofunc : unit -> t

binaryen-archive/src/memory.c

@@ -8,19 +8,25 @@
 
 
 CAMLprim value
-caml_binaryen_set_memory(value _module, value _initial, value _maximum, value _exportName, value _segments, value _segmentPassive, value _segmentOffsets, value _segmentSizes, value _shared, value _memory64, value _memoryName) {
-  CAMLparam5(_module, _initial, _maximum, _exportName, _segments);
-  CAMLxparam5(_segmentPassive, _segmentOffsets, _segmentSizes, _shared, _memory64);
-  CAMLxparam1(_memoryName);
+caml_binaryen_set_memory(value _module, value _initial, value _maximum, value _exportName, value _segment_names, value _segment_data, value _segmentPassive, value _segmentOffsets, value _segmentSizes, value _shared, value _memory64, value _memoryName) {
+  CAMLparam5(_module, _initial, _maximum, _exportName, _segment_names);
+  CAMLxparam5(_segment_data, _segmentPassive, _segmentOffsets, _segmentSizes, _shared);
+  CAMLxparam2(_memory64, _memoryName);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
   BinaryenIndex initial = Int_val(_initial);
   BinaryenIndex maximum = Int_val(_maximum);
   char* exportName = Safe_String_val(_exportName);
-  _segments = array_of_list(_segments);
-  int segmentsLen = array_length(_segments);
-  const char* segments[segmentsLen];
-  for (int i = 0; i < segmentsLen; i++) {
-    segments[i] = Safe_String_val(Field(_segments, i));
+  _segment_names = array_of_list(_segment_names);
+  int segmentNamesLen = array_length(_segment_names);
+  const char* segment_names[segmentNamesLen];
+  for (int i = 0; i < segmentNamesLen; i++) {
+    segment_names[i] = Safe_String_val(Field(_segment_names, i));
+  }
+  _segment_data = array_of_list(_segment_data);
+  int segmentDataLen = array_length(_segment_data);
+  const char* segment_data[segmentDataLen];
+  for (int i = 0; i < segmentDataLen; i++) {
+    segment_data[i] = Safe_String_val(Field(_segment_data, i));
   }
   _segmentPassive = array_of_list(_segmentPassive);
   int segmentPassiveLen = array_length(_segmentPassive);
@@ -43,12 +49,12 @@ caml_binaryen_set_memory(value _module, value _initial, value _maximum, value _e
   bool shared = Bool_val(_shared);
   bool memory64 = Bool_val(_memory64);
   char* memoryName = Safe_String_val(_memoryName);
-  BinaryenSetMemory(module, initial, maximum, exportName, segments, segmentPassive, segmentOffsets, segmentSizes, segmentsLen, shared, memory64, memoryName);
+  BinaryenSetMemory(module, initial, maximum, exportName, segment_names, segment_data, segmentPassive, segmentOffsets, segmentSizes, segmentNamesLen, shared, memory64, memoryName);
   CAMLreturn(Val_unit);
 }
 CAMLprim value
 caml_binaryen_set_memory__bytecode(value * argv) {
-  return caml_binaryen_set_memory(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10]);
+  return caml_binaryen_set_memory(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10], argv[11]);
 }
 
 CAMLprim value
@@ -111,28 +117,28 @@ caml_binaryen_get_num_memory_segments(value _module) {
 }
 
 CAMLprim value
-caml_binaryen_get_memory_segment_byte_offset(value _module, value _id) {
-  CAMLparam2(_module, _id);
+caml_binaryen_get_memory_segment_byte_offset(value _module, value _name) {
+  CAMLparam2(_module, _name);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
-  BinaryenIndex id = Int_val(_id);
-  CAMLreturn(Val_int(BinaryenGetMemorySegmentByteOffset(module, id)));
+  char* name = Safe_String_val(_name);
+  CAMLreturn(Val_int(BinaryenGetMemorySegmentByteOffset(module, name)));
 }
 
 CAMLprim value
-caml_binaryen_get_memory_segment_passive(value _module, value _id) {
-  CAMLparam2(_module, _id);
+caml_binaryen_get_memory_segment_passive(value _module, value _name) {
+  CAMLparam2(_module, _name);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
-  BinaryenIndex id = Int_val(_id);
-  CAMLreturn(Val_bool(BinaryenGetMemorySegmentPassive(module, id)));
+  char* name = Safe_String_val(_name);
+  CAMLreturn(Val_bool(BinaryenGetMemorySegmentPassive(module, name)));
 }
 
 CAMLprim value
-caml_binaryen_get_memory_segment_data(value _module, value _id) {
-  CAMLparam2(_module, _id);
+caml_binaryen_get_memory_segment_data(value _module, value _name) {
+  CAMLparam2(_module, _name);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
-  BinaryenIndex id = Int_val(_id);
-  size_t size = BinaryenGetMemorySegmentByteLength(module, id);
+  char* name = Safe_String_val(_name);
+  size_t size = BinaryenGetMemorySegmentByteLength(module, name);
   CAMLprim value bytes = caml_alloc_string(size);
-  BinaryenCopyMemorySegmentData(module, id, (char*)Bytes_val(bytes));
+  BinaryenCopyMemorySegmentData(module, name, (char*)Bytes_val(bytes));
   CAMLreturn(bytes);
 }

binaryen-archive/src/memory.js

@@ -6,7 +6,8 @@ function caml_binaryen_set_memory(
   initial,
   maximum,
   exportName,
-  segments,
+  segmentNames,
+  segmentData,
   segmentPassives,
   segmentOffsets,
   segmentSizes,
@@ -14,11 +15,13 @@ function caml_binaryen_set_memory(
   memory64,
   memoryName
 ) {
+  var datas = caml_list_to_js_array(segmentData);
   var passives = caml_list_to_js_array(segmentPassives);
   var offsets = caml_list_to_js_array(segmentOffsets);
-  var segs = caml_list_to_js_array(segments).map(function (segment, idx) {
+  var segs = caml_list_to_js_array(segmentNames).map(function (name, idx) {
     return {
-      data: caml_convert_bytes_to_array(segment),
+      name: caml_jsstring_of_string(name),
+      data: caml_convert_bytes_to_array(datas[idx]),
       passive: caml_js_from_bool(passives[idx]),
       offset: offsets[idx],
     };
@@ -48,7 +51,8 @@ function caml_binaryen_set_memory__bytecode() {
     arguments[7],
     arguments[8],
     arguments[9],
-    arguments[10]
+    arguments[10],
+    arguments[11]
   );
 }
 
@@ -108,20 +112,22 @@ function caml_binaryen_get_num_memory_segments(wasm_mod) {
 }
 
 //Provides: caml_binaryen_get_memory_segment_byte_offset
-function caml_binaryen_get_memory_segment_byte_offset(wasm_mod, idx) {
-  var info = wasm_mod.getMemorySegmentInfoByIndex(idx);
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_memory_segment_byte_offset(wasm_mod, name) {
+  var info = wasm_mod.getMemorySegmentInfo(caml_jsstring_of_string(name));
   return info.offset;
 }
 
 //Provides: caml_binaryen_get_memory_segment_passive
-function caml_binaryen_get_memory_segment_passive(wasm_mod, idx) {
-  var info = wasm_mod.getMemorySegmentInfoByIndex(idx);
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_memory_segment_passive(wasm_mod, name) {
+  var info = wasm_mod.getMemorySegmentInfo(caml_jsstring_of_string(name));
   return info.passive;
 }
 
 //Provides: caml_binaryen_get_memory_segment_data
-//Requires: caml_bytes_of_array
-function caml_binaryen_get_memory_segment_data(wasm_mod, idx) {
-  var info = wasm_mod.getMemorySegmentInfoByIndex(idx);
+//Requires: caml_bytes_of_array, caml_jsstring_of_string
+function caml_binaryen_get_memory_segment_data(wasm_mod, name) {
+  var info = wasm_mod.getMemorySegmentInfo(caml_jsstring_of_string(name));
   return caml_bytes_of_array(info.data);
 }

binaryen-archive/src/memory.ml

@@ -3,6 +3,7 @@ external set_memory :
   int ->
   int ->
   string ->
+  string list ->
   bytes list ->
   bool list ->
   Expression.t list ->
@@ -12,7 +13,7 @@ external set_memory :
   string ->
   unit = "caml_binaryen_set_memory__bytecode" "caml_binaryen_set_memory"
 
-type segment = { data : bytes; kind : segment_kind; size : int }
+type segment = { name : string; data : bytes; kind : segment_kind; size : int }
 and segment_kind = Passive | Active of { offset : Expression.t }
 
 (** Module, initial size, maximum size, export name, segments, shared, memory64, moduleName . *)
@@ -20,26 +21,36 @@ let set_memory wasm_mod initial maximum export_name (segments : segment list)
     shared memory64 moduleName =
   let split_segments segments =
     List.fold_right
-      (fun { data; kind; size }
-           (segment_data, segment_passive, segment_offsets, segment_sizes) ->
+      (fun { name; data; kind; size }
+           ( segment_name,
+             segment_data,
+             segment_passive,
+             segment_offsets,
+             segment_sizes ) ->
         match kind with
         | Active { offset } ->
-            ( data :: segment_data,
+            ( name :: segment_name,
+              data :: segment_data,
               false :: segment_passive,
               offset :: segment_offsets,
               size :: segment_sizes )
         | Passive ->
-            ( data :: segment_data,
+            ( name :: segment_name,
+              data :: segment_data,
               true :: segment_passive,
               Expression.Null.make () :: segment_offsets,
               size :: segment_sizes ))
-      segments ([], [], [], [])
+      segments ([], [], [], [], [])
   in
-  let segment_data, segment_passive, segment_offsets, segment_sizes =
+  let ( segment_name,
+        segment_data,
+        segment_passive,
+        segment_offsets,
+        segment_sizes ) =
     split_segments segments
   in
-  set_memory wasm_mod initial maximum export_name segment_data segment_passive
-    segment_offsets segment_sizes shared memory64 moduleName
+  set_memory wasm_mod initial maximum export_name segment_name segment_data
+    segment_passive segment_offsets segment_sizes shared memory64 moduleName
 
 external has_memory : Module.t -> bool = "caml_binaryen_has_memory"
 
@@ -59,11 +70,11 @@ let unlimited = -1
 external get_num_segments : Module.t -> int
   = "caml_binaryen_get_num_memory_segments"
 
-external get_segment_byte_offset : Module.t -> int -> int
+external get_segment_byte_offset : Module.t -> string -> int
   = "caml_binaryen_get_memory_segment_byte_offset"
 
-external get_segment_passive : Module.t -> int -> bool
+external get_segment_passive : Module.t -> string -> bool
   = "caml_binaryen_get_memory_segment_passive"
 
-external get_segment_data : Module.t -> int -> bytes
+external get_segment_data : Module.t -> string -> bytes
   = "caml_binaryen_get_memory_segment_data"

binaryen-archive/src/memory.mli

@@ -1,4 +1,4 @@
-type segment = { data : bytes; kind : segment_kind; size : int }
+type segment = { name : string; data : bytes; kind : segment_kind; size : int }
 and segment_kind = Passive | Active of { offset : Expression.t }
 
 val set_memory :
@@ -20,6 +20,6 @@ val is_shared : Module.t -> string -> bool
 val is_64 : Module.t -> string -> bool
 val unlimited : int
 val get_num_segments : Module.t -> int
-val get_segment_byte_offset : Module.t -> int -> int
-val get_segment_passive : Module.t -> int -> bool
-val get_segment_data : Module.t -> int -> bytes
+val get_segment_byte_offset : Module.t -> string -> int
+val get_segment_passive : Module.t -> string -> bool
+val get_segment_data : Module.t -> string -> bytes

binaryen-archive/src/module.c

@@ -44,10 +44,9 @@ caml_binaryen_module_print_asmjs(value module) {
 }
 
 CAMLprim value
-caml_binaryen_module_print_stack_ir(value module, value _optimize) {
-  CAMLparam2(module, _optimize);
-  bool optimize = Bool_val(_optimize);
-  BinaryenModulePrintStackIR(BinaryenModuleRef_val(module), optimize);
+caml_binaryen_module_print_stack_ir(value module) {
+  CAMLparam1(module);
+  BinaryenModulePrintStackIR(BinaryenModuleRef_val(module));
   CAMLreturn(Val_unit);
 }
 
@@ -127,11 +126,10 @@ caml_binaryen_module_write_text(value _module) {
 // There is something weird with this function that causes a bunch of newlines to
 // be printed on stdout when calling it. Not sure if that's a bug in Binaryen.
 CAMLprim value
-caml_binaryen_module_write_stack_ir(value _module, value _optimize) {
-  CAMLparam2(_module, _optimize);
+caml_binaryen_module_write_stack_ir(value _module) {
+  CAMLparam1(_module);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
-  bool optimize = Bool_val(_optimize);
-  char* result = BinaryenModuleAllocateAndWriteStackIR(module, optimize);
+  char* result = BinaryenModuleAllocateAndWriteStackIR(module);
   CAMLlocal1(text);
   text = caml_copy_string(result);
   free(result);

binaryen-archive/src/module.js

@@ -17,31 +17,34 @@ function caml_binaryen_module_parse(text) {
 }
 
 //Provides: caml_binaryen_module_print
+//Requires: caml_sys_fds
 //Requires: caml_string_of_jsstring
 //Requires: caml_ml_output, caml_ml_string_length
 function caml_binaryen_module_print(wasm_mod) {
   var text = wasm_mod.emitText();
-  var chanid = 1; // stdout
+  var chanid = caml_sys_fds[1].chanid; // stdout
   var s = caml_string_of_jsstring(text);
   caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
 }
 
 //Provides: caml_binaryen_module_print_asmjs
+//Requires: caml_sys_fds
 //Requires: caml_string_of_jsstring
 //Requires: caml_ml_output, caml_ml_string_length
 function caml_binaryen_module_print_asmjs(wasm_mod) {
   var asm = wasm_mod.emitAsmjs();
-  var chanid = 1; // stdout
+  var chanid = caml_sys_fds[1].chanid; // stdout
   var s = caml_string_of_jsstring(asm);
   caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
 }
 
 //Provides: caml_binaryen_module_print_stack_ir
-//Requires: caml_string_of_jsstring, caml_js_from_bool
+//Requires: caml_sys_fds
+//Requires: caml_string_of_jsstring
 //Requires: caml_ml_output, caml_ml_string_length
-function caml_binaryen_module_print_stack_ir(wasm_mod, optimize) {
-  var stackir = wasm_mod.emitStackIR(caml_js_from_bool(optimize));
-  var chanid = 1; // stdout
+function caml_binaryen_module_print_stack_ir(wasm_mod) {
+  var stackir = wasm_mod.emitStackIR();
+  var chanid = caml_sys_fds[1].chanid; // stdout
   var s = caml_string_of_jsstring(stackir);
   caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
 }
@@ -93,9 +96,9 @@ function caml_binaryen_module_write_text(wasm_mod) {
 }
 
 //Provides: caml_binaryen_module_write_stack_ir
-//Requires: caml_string_of_jsstring, caml_js_from_bool
-function caml_binaryen_module_write_stack_ir(wasm_mod, optimize) {
-  var text = wasm_mod.emitStackIR(caml_js_from_bool(optimize));
+//Requires: caml_string_of_jsstring
+function caml_binaryen_module_write_stack_ir(wasm_mod) {
+  var text = wasm_mod.emitStackIR();
   return caml_string_of_jsstring(text);
 }
 

binaryen-archive/src/module.ml

@@ -90,10 +90,7 @@ external add_custom_section : t -> string -> string -> unit
 external parse : string -> t = "caml_binaryen_module_parse"
 external print : t -> unit = "caml_binaryen_module_print"
 external print_asmjs : t -> unit = "caml_binaryen_module_print_asmjs"
-
-external print_stack_ir : t -> bool -> unit
-  = "caml_binaryen_module_print_stack_ir"
-
+external print_stack_ir : t -> unit = "caml_binaryen_module_print_stack_ir"
 external validate : t -> int = "caml_binaryen_module_validate"
 external optimize : t -> unit = "caml_binaryen_module_optimize"
 external get_features : t -> int = "caml_binaryen_module_get_features"
@@ -124,10 +121,7 @@ external write : t -> string option -> bytes * string option
   = "caml_binaryen_module_write"
 
 external write_text : t -> string = "caml_binaryen_module_write_text"
-
-external write_stack_ir : t -> bool -> string
-  = "caml_binaryen_module_write_stack_ir"
-
+external write_stack_ir : t -> string = "caml_binaryen_module_write_stack_ir"
 external read : bytes -> t = "caml_binaryen_module_read"
 external interpret : t -> unit = "caml_binaryen_module_interpret"
 

binaryen-archive/src/module.mli

@@ -29,7 +29,7 @@ val add_custom_section : t -> string -> string -> unit
 val parse : string -> t
 val print : t -> unit
 val print_asmjs : t -> unit
-val print_stack_ir : t -> bool -> unit
+val print_stack_ir : t -> unit
 val validate : t -> int
 val optimize : t -> unit
 val get_features : t -> Feature.t list
@@ -38,7 +38,7 @@ val run_passes : t -> Passes.t list -> unit
 val auto_drop : t -> unit
 val write : t -> string option -> bytes * string option
 val write_text : t -> string
-val write_stack_ir : t -> bool -> string
+val write_stack_ir : t -> string
 val read : bytes -> t
 val interpret : t -> unit
 val add_debug_info_filename : t -> string -> int