@grain/binaryen.ml 0.16.0 → 0.18.0

binaryen-archive/test/test.ml

@@ -123,28 +123,39 @@ let _ =
 let _ = Function.set_start wasm_mod start
 
 let segment : Binaryen.Memory.segment =
-  let data = "hello" in
-  let passive = false in
-  let offset = Expression.Const.make wasm_mod (Literal.int32 0l) in
-  let size = String.length data in
-  { data; passive; offset; size }
+  let data = Bytes.of_string "hello" in
+  let kind =
+    Binaryen.Memory.Active
+      { offset = Expression.Const.make wasm_mod (Literal.int32 0l) }
+  in
+  let size = Bytes.length data in
+  { data; kind; size }
+
+let passive_segment : Binaryen.Memory.segment =
+  let data = Bytes.of_string "world" in
+  let kind = Binaryen.Memory.Passive in
+  let size = Bytes.length data in
+  { data; kind; size }
 
-let _ = Memory.set_memory wasm_mod 1 Memory.unlimited "memory" [ segment ] false
+let _ =
+  Memory.set_memory wasm_mod 1 Memory.unlimited "memory"
+    [ segment; passive_segment ]
+    false
 
-(* Create an imported "write" function i32 (externref, i32, i32) *)
+(* Create an imported "write" function i32 (anyref, i32, i32) *)
 (* Similar to the example here: https://bytecodealliance.org/articles/reference-types-in-wasmtime *)
 
 let _ =
   Import.add_function_import wasm_mod "write" "future-wasi" "write"
-    (Type.create [| Type.externref; Type.int32; Type.int32 |])
+    (Type.create [| Type.anyref; Type.int32; Type.int32 |])
     Type.int32
 
 (* Create a function that calls the imported write function *)
 let _ =
-  Function.add_function wasm_mod "hello" Type.externref Type.int32 [||]
+  Function.add_function wasm_mod "hello" Type.anyref Type.int32 [||]
     (Expression.Call.make wasm_mod "write"
        [
-         Expression.Local_get.make wasm_mod 0 Type.externref;
+         Expression.Local_get.make wasm_mod 0 Type.anyref;
          Expression.Const.make wasm_mod (Literal.int32 0l);
          Expression.Const.make wasm_mod (Literal.int32 1l);
        ]
@@ -177,7 +188,10 @@ let _ =
     sourcemap = Some {|{"version":3,"sources":[],"names":[],"mappings":""}|})
 
 let new_mod = Module.read byts
-let _ = Module.run_passes new_mod [ Passes.name_types ]
+
+let _ =
+  Module.run_passes new_mod
+    [ Passes.name_types; Passes.merge_similar_functions ]
 
 let _ =
   Module.set_features new_mod
@@ -197,6 +211,7 @@ let _ =
       Module.Feature.memory64;
       Module.Feature.typed_function_references;
       Module.Feature.relaxed_simd;
+      Module.Feature.extended_const;
       Module.Feature.all;
     ]
 

binaryen-archive/esy.lock/opam/biniou.1.2.1/opam

@@ -1,45 +0,0 @@
-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"]
-authors: ["Martin Jambon"]
-bug-reports: "https://github.com/mjambon/biniou/issues"
-homepage: "https://github.com/mjambon/biniou"
-doc: "https://mjambon.github.io/biniou/"
-license: "BSD-3-Clause"
-dev-repo: "git+https://github.com/mjambon/biniou.git"
-synopsis:
-  "Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve"
-description: """
-
-Biniou (pronounced "be new") is a binary data format designed for speed, safety,
-ease of use and backward compatibility as protocols evolve. Biniou is vastly
-equivalent to JSON in terms of functionality but allows implementations several
-times faster (4 times faster than yojson), with 25-35% space savings.
-
-Biniou data can be decoded into human-readable form without knowledge of type
-definitions except for field and variant names which are represented by 31-bit
-hashes. A program named bdump is provided for routine visualization of biniou
-data files.
-
-The program atdgen is used to derive OCaml-Biniou serializers and deserializers
-from type definitions.
-
-Biniou format specification: mjambon.github.io/atdgen-doc/biniou-format.txt"""
-depends: [
-  "easy-format"
-  "dune" {>= "1.10"}
-  "ocaml" {>= "4.02.3"}
-]
-url {
-  src:
-    "https://github.com/mjambon/biniou/releases/download/1.2.1/biniou-1.2.1.tbz"
-  checksum: [
-    "sha256=35546c68b1929a8e6d27a3b39ecd17b38303a0d47e65eb9d1480c2061ea84335"
-    "sha512=82670cc77bf3e869ee26e5fbe5a5affa45a22bc8b6c4bd7e85473912780e0111baca59b34a2c14feae3543ce6e239d7fddaeab24b686a65bfe642cdb91d27ebf"
-  ]
-}

binaryen-archive/esy.lock/opam/easy-format.1.3.3/opam

@@ -1,58 +0,0 @@
-opam-version: "2.0"
-synopsis:
-  "High-level and functional interface to the Format module of the OCaml standard library"
-description: """
-
-This module offers a high-level and functional interface to the Format module of
-the OCaml standard library. It is a pretty-printing facility, i.e. it takes as
-input some code represented as a tree and formats this code into the most
-visually satisfying result, breaking and indenting lines of code where
-appropriate.
-
-Input data must be first modelled and converted into a tree using 3 kinds of
-nodes:
-
-* atoms
-* lists
-* labelled 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" {>= "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.3/easy-format-1.3.3.tbz"
-  checksum: [
-    "sha256=eafccae911c26ca23e4ddacee3eaa54654d20f973b8680f84b708cef43adc416"
-    "sha512=611b3124f6a0ec6406b7bda8018a94c9c4a9da9d22495a5c34a6312bf7f0f0607a9529b276f7039ce3f3b15a955dac413d6d1229a55d5ac291302a3ddd5807e5"
-  ]
-}
-x-commit-hash: "56c57e69ef067d1cc4e31029d31e77e55b46be95"

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

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