@grain/binaryen.ml 0.26.0 → 0.28.0

binaryen-archive/test/test.expected

@@ -16,8 +16,8 @@
  (global $max_int64_mut (mut i64) (i64.const 9223372036854775807))
  (global $test_float64_bits f64 (f64.const 1.23))
  (memory $0 1)
- (data $0 (i32.const 0) "hello")
- (data $1 "world")
+ (data $hello (i32.const 0) "hello")
+ (data $world "world")
  (table $table 1 1 funcref)
  (elem $elem (i32.const 0) $adder)
  (export "adder" (func $adder))
@@ -28,7 +28,9 @@
   (block $add (result i32)
    (if
     (i32.const 0)
-    (unreachable)
+    (then
+     (unreachable)
+    )
    )
    (i32.add
     (select
@@ -44,7 +46,7 @@
  )
  (func $start (type $1)
   (block $start
-   (memory.init $1
+   (memory.init $world
     (i32.const 2048)
     (i32.const 0)
     (i32.const 5)
@@ -73,15 +75,15 @@
  (type $3 (func (param anyref) (result i32)))
  (import "future-wasi" "write" (func $write (type $2) (param anyref i32 i32) (result i32)))
  (memory $0 1)
- (data $0 (i32.const 0) "hello")
- (data $1 "world")
+ (data $hello (i32.const 0) "hello")
+ (data $world "world")
  (table $table 1 1 funcref)
  (elem $elem (i32.const 0) $adder)
  (export "adder" (func $adder))
  (export "memory" (memory $0))
  (export "hello" (func $hello))
  (start $start)
- (func $adder (type $0) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
+ (func $adder (type $0) (param $0 i32) (param $1 i32) (result i32)
   (i32.add
    (select
     (local.get $0)
@@ -93,8 +95,8 @@
    (local.get $1)
   )
  )
- (func $start (type $1) (; has Stack IR ;)
-  (memory.init $1
+ (func $start (type $1)
+  (memory.init $world
    (i32.const 2048)
    (i32.const 0)
    (i32.const 5)
@@ -106,7 +108,7 @@
    )
   )
  )
- (func $hello (type $3) (; has Stack IR ;) (param $0 anyref) (result i32)
+ (func $hello (type $3) (param $0 anyref) (result i32)
   (call $write
    (local.get $0)
    (i32.const 0)
@@ -115,11 +117,11 @@
  )
 )
 (module
- (type $type$0 (func (param anyref i32 i32) (result i32)))
- (type $type$1 (func (param i32 i32) (result i32)))
- (type $type$2 (func))
- (type $type$3 (func (param anyref) (result i32)))
- (import "future-wasi" "write" (func $fimport$0 (type $type$0) (param anyref i32 i32) (result i32)))
+ (type $type (func (param anyref i32 i32) (result i32)))
+ (type $type_1 (func (param i32 i32) (result i32)))
+ (type $type_2 (func))
+ (type $type_3 (func (param anyref) (result i32)))
+ (import "future-wasi" "write" (func $fimport$0 (type $type) (param anyref i32 i32) (result i32)))
  (memory $0 1)
  (data $0 (i32.const 0) "hello")
  (data $1 "world")
@@ -129,7 +131,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $2))
  (start $1)
- (func $0 (type $type$1) (param $0 i32) (param $1 i32) (result i32)
+ (func $0 (type $type_1) (param $0 i32) (param $1 i32) (result i32)
   (i32.add
    (select
     (local.get $0)
@@ -141,7 +143,7 @@
    (local.get $1)
   )
  )
- (func $1 (type $type$2)
+ (func $1 (type $type_2)
   (memory.init $1
    (i32.const 2048)
    (i32.const 0)
@@ -154,7 +156,7 @@
    )
   )
  )
- (func $2 (type $type$3) (param $0 anyref) (result i32)
+ (func $2 (type $type_3) (param $0 anyref) (result i32)
   (call $fimport$0
    (local.get $0)
    (i32.const 0)
@@ -163,11 +165,11 @@
  )
 )
 (module
- (type $type$0 (func (param anyref i32 i32) (result i32)))
- (type $type$1 (func (param i32 i32) (result i32)))
- (type $type$2 (func))
- (type $type$3 (func (param anyref) (result i32)))
- (import "future-wasi" "write" (func $fimport$0 (type $type$0) (param anyref i32 i32) (result i32)))
+ (type $type (func (param anyref i32 i32) (result i32)))
+ (type $type_1 (func (param i32 i32) (result i32)))
+ (type $type_2 (func))
+ (type $type_3 (func (param anyref) (result i32)))
+ (import "future-wasi" "write" (func $fimport$0 (type $type) (param anyref i32 i32) (result i32)))
  (memory $0 1)
  (data $0 (i32.const 0) "hello")
  (data $1 "world")
@@ -177,7 +179,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $2))
  (start $1)
- (func $0 (type $type$1) (param $0 i32) (param $1 i32) (result i32)
+ (func $0 (type $type_1) (param $0 i32) (param $1 i32) (result i32)
   local.get $0
   local.get $1
   i32.load
@@ -186,7 +188,7 @@
   local.get $1
   i32.add
  )
- (func $1 (type $type$2)
+ (func $1 (type $type_2)
   i32.const 2048
   i32.const 0
   i32.const 5
@@ -196,7 +198,7 @@
   call $0
   drop
  )
- (func $2 (type $type$3) (param $0 anyref) (result i32)
+ (func $2 (type $type_3) (param $0 anyref) (result i32)
   local.get $0
   i32.const 0
   i32.const 1

binaryen-archive/test/test.ml

@@ -82,7 +82,7 @@ let add =
 let _ = assert (Expression.Block.get_name add = Some "add")
 
 (* Create the add function *)
-let adder = Function.add_function wasm_mod "adder" (params ()) results [||] add
+let _adder = Function.add_function wasm_mod "adder" (params ()) results [||] add
 
 let call_adder =
   Expression.Call_indirect.make wasm_mod "table"
@@ -97,7 +97,7 @@ let start =
   Function.add_function wasm_mod "start" Type.none Type.none [||]
     (Expression.Block.make wasm_mod ~return_type:Type.none "start"
        [
-         Expression.Memory_init.make wasm_mod 1
+         Expression.Memory_init.make wasm_mod "world"
            (Expression.Const.make wasm_mod (Literal.int32 2048l))
            (Expression.Const.make wasm_mod (Literal.int32 0l))
            (Expression.Const.make wasm_mod (Literal.int32 5l))
@@ -157,13 +157,13 @@ let segment : Binaryen.Memory.segment =
       { offset = Expression.Const.make wasm_mod (Literal.int32 0l) }
   in
   let size = Bytes.length data in
-  { data; kind; size }
+  { name = "hello"; 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 }
+  { name = "world"; data; kind; size }
 
 let _ = assert (Memory.has_memory wasm_mod = false)
 
@@ -183,7 +183,9 @@ let _ = assert (Memory.get_max max_memory_wasm_mod "0" = 2)
 
 let _ =
   assert (
-    Bytes.equal (Memory.get_segment_data wasm_mod 1) (Bytes.of_string "world"))
+    Bytes.equal
+      (Memory.get_segment_data wasm_mod "world")
+      (Bytes.of_string "world"))
 
 (* Create an imported "write" function i32 (externref, i32, i32) *)
 (* Similar to the example here: https://bytecodealliance.org/articles/reference-types-in-wasmtime *)
@@ -276,7 +278,7 @@ let _ =
 
 let _ = Module.validate new_mod
 let _ = Module.print new_mod
-let _ = Module.print_stack_ir new_mod false
+let _ = Module.print_stack_ir new_mod
 
 (* Dispose the modules 👋 *)
 

binaryen-archive/esy.lock/opam/base-bigarray.base/opam

@@ -1,6 +0,0 @@
-opam-version: "2.0"
-maintainer: "https://github.com/ocaml/opam-repository/issues"
-description: """
-Bigarray library distributed with the OCaml compiler
-"""
-

binaryen-archive/esy.lock/opam/ocaml-compiler-libs.v0.12.4/opam

@@ -1,39 +0,0 @@
-opam-version: "2.0"
-synopsis: "OCaml compiler libraries repackaged"
-description: """
-This packages exposes the OCaml compiler libraries repackages under
-the toplevel names Ocaml_common, Ocaml_bytecomp, Ocaml_optcomp, ..."""
-maintainer: ["Jane Street developers"]
-authors: ["Jane Street Group, LLC"]
-license: "MIT"
-homepage: "https://github.com/janestreet/ocaml-compiler-libs"
-bug-reports: "https://github.com/janestreet/ocaml-compiler-libs/issues"
-depends: [
-  "dune" {>= "2.8"}
-  "ocaml" {>= "4.04.1" & < "5.2.0"}
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]
-dev-repo: "git+https://github.com/janestreet/ocaml-compiler-libs.git"
-url {
-  src:
-    "https://github.com/janestreet/ocaml-compiler-libs/releases/download/v0.12.4/ocaml-compiler-libs-v0.12.4.tbz"
-  checksum: [
-    "sha256=4ec9c9ec35cc45c18c7a143761154ef1d7663036a29297f80381f47981a07760"
-    "sha512=978dba8dfa61f98fa24fda7a9c26c2e837081f37d1685fe636dc19cfc3278a940cf01a10293504b185c406706bc1008bc54313d50f023bcdea6d5ac6c0788b35"
-  ]
-}
-x-commit-hash: "8cd12f18bb7171c2b67d661868c4271fae528d93"

binaryen-archive/esy.lock/opam/ocamlformat.0.24.1/opam

@@ -1,57 +0,0 @@
-opam-version: "2.0"
-synopsis: "Auto-formatter for OCaml code"
-description:
-  "OCamlFormat is a tool to automatically format OCaml code in a uniform style."
-maintainer: ["OCamlFormat Team <ocamlformat-dev@lists.ocaml.org>"]
-authors: ["Josh Berdine <jjb@fb.com>"]
-homepage: "https://github.com/ocaml-ppx/ocamlformat"
-bug-reports: "https://github.com/ocaml-ppx/ocamlformat/issues"
-depends: [
-  "ocaml" {>= "4.08" & < "5.2"}
-  "alcotest" {with-test}
-  "base" {>= "v0.12.0" & < "v0.17.0"}
-  "cmdliner" {>= "1.1.0"}
-  "dune" {>= "2.8"}
-  "dune-build-info"
-  "either"
-  "fix"
-  "fpath"
-  "menhir" {>= "20201216"}
-  "menhirLib" {>= "20201216"}
-  "menhirSdk" {>= "20201216"}
-  "ocaml-version" {>= "3.3.0" & < "3.6.0"}
-  "ocamlformat-rpc-lib" {with-test & = version}
-  "ocp-indent"
-  "odoc-parser" {>= "2.0.0" & < "2.3.0"}
-  "re" {>= "1.7.2"}
-  "stdio"
-  "uuseg" {>= "10.0.0"}
-  "uutf" {>= "1.0.1"}
-  "csexp" {>= "1.4.0"}
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]
-dev-repo: "git+https://github.com/ocaml-ppx/ocamlformat.git"
-license: ["MIT" "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"]
-url {
-  src:
-    "https://github.com/ocaml-ppx/ocamlformat/releases/download/0.24.1/ocamlformat-0.24.1.tbz"
-  checksum: [
-    "sha256=023425e9818f80ea50537b2371a4a766c149a9957d05807e88a004d2d5f441ce"
-    "sha512=753b6128be68042895202f99959b360ce954db6f82b19b83b4bb346761a8e9cfdfc2b4b25e2070e60601b555562e78f9ebb02760ff127464e0b66cedbddca304"
-  ]
-}
-x-commit-hash: "86938aa4435b251af1a3b081f7fbed90f982cf62" # OCamlFormat is distributed under the MIT license. Parts of the OCaml library are vendored for OCamlFormat and distributed under their original LGPL 2.1 license

binaryen-archive/esy.lock/opam/octavius.1.2.2/opam

@@ -1,36 +0,0 @@
-opam-version: "2.0"
-maintainer: ["leo@lpw25.net"]
-authors: ["Leo White <leo@lpw25.net>"]
-license: "ISC"
-homepage: "https://github.com/ocaml-doc/octavius"
-doc: "http://ocaml-doc.github.io/octavius/"
-bug-reports: "https://github.com/ocaml-doc/octavius/issues"
-depends: [
-  "dune" {>= "1.11"}
-  "ocaml" {>= "4.03.0"}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]
-dev-repo: "git+https://github.com/ocaml-doc/octavius.git"
-
-synopsis: "Ocamldoc comment syntax parser"
-description: "Octavius is a library to parse the `ocamldoc` comment syntax."
-url {
-  src: "https://github.com/ocaml-doc/octavius/archive/v1.2.2.tar.gz"
-  checksum: [
-    "sha256=eac9104ce0316b69da9c44b9c477700fe0b52a888c89ce4bdf1d2b782a73e0ad"
-    "md5=72f9e1d996e6c5089fc513cc9218607b"
-  ]
-}

binaryen-archive/esy.lock/opam/odoc-parser.2.0.0/opam

@@ -1,47 +0,0 @@
-opam-version: "2.0"
-synopsis: "Parser for ocaml documentation comments"
-description: """
-Odoc_parser is a library for parsing the contents of OCaml documentation
-comments, formatted using 'odoc' syntax, an extension of the language
-understood by ocamldoc."""
-maintainer: ["Jon Ludlam <jon@recoil.org>"]
-authors: ["Anton Bachin <antonbachin@yahoo.com>"]
-license: "ISC"
-homepage: "https://github.com/ocaml-doc/odoc-parser"
-bug-reports: "https://github.com/ocaml-doc/odoc-parser/issues"
-dev-repo: "git+https://github.com/ocaml-doc/odoc-parser.git"
-# This template exists because without it dune pop is dependencies and build rules
-# involving odoc. Since odoc depends on this package, this doesn't work.
-doc: "https://ocaml-doc.github.io/odoc-parser/"
-depends: [
-  "dune" {>= "2.8"}
-  "ocaml" {>= "4.02.0"}
-  "astring"
-  "result"
-  "camlp-streams"
-  "ppx_expect" {with-test}
-  ("ocaml" {< "4.04.1" & with-test} | "sexplib0" {with-test})
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-  ]
-]
-url {
-  src:
-    "https://github.com/ocaml-doc/odoc-parser/releases/download/2.0.0/odoc-parser-2.0.0.tbz"
-  checksum: [
-    "sha256=407919fbb0eb95761d6fc6ec6777628d94aa1907343bdca678b1880bafb33922"
-    "sha512=d2bffa3e9f30471045682e390dcee7a2c1caf3831bca4bd57c16939e782c2e23434e6f1c9887580a1804800b3629ef4c4311a9d418fca5a939f324650d54006e"
-  ]
-}
-x-commit-hash: "ebfd3b9489e44187da2c67d79a32b6fc1e92bda4"
-

binaryen-archive/esy.lock/opam/omd.1.3.2/opam

@@ -1,50 +0,0 @@
-opam-version: "2.0"
-synopsis: "A Markdown frontend in pure OCaml"
-description: """
-This Markdown library is implemented using only pure OCaml (including
-I/O operations provided by the standard OCaml compiler distribution).
-OMD is meant to be as faithful as possible to the original Markdown.
-Additionally, OMD implements a few Github markdown features, an
-extension mechanism, and some other features. Note that the opam
-package installs both the OMD library and the command line tool `omd`."""
-maintainer: [
-  "Shon Feder <shon.feder@gmail.com>" "Raphael Sousa Santos <@sonologico>"
-]
-authors: [
-  "Philippe Wang <philippe.wang@gmail.com>"
-  "Nicolás Ojeda Bär <n.oje.bar@gmail.com>"
-]
-license: "ISC"
-tags: ["org:ocamllabs" "org:mirage"]
-homepage: "https://github.com/ocaml/omd"
-bug-reports: "https://github.com/ocaml/omd/issues"
-depends: [
-  "dune" {>= "2.7"}
-  "ocaml" {>= "4.04"}
-  "base-bigarray"
-  "base-bytes"
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]
-dev-repo: "git+https://github.com/ocaml/omd.git"
-url {
-  src: "https://github.com/ocaml/opam-source-archives/raw/main/omd-1.3.2.tbz"
-  checksum: [
-    "sha256=6023e1642631f08f678eb5725820879ed7bb5a3ffee777cdedebc28c1f85fadb"
-    "sha512=fa2070a5f5d30b2cc422937ac4158bb087134a69d47fa15df403afb1c0c60a73dd436c949faa8d44e0b65bdee039779d86191b55085b717253f91ef20a69ef98"
-  ]
-}
-x-commit-hash: "bc6c0d568b90b61143e9863cb6ef7b3989b3313a"

binaryen-archive/esy.lock/opam/result.1.5/opam

@@ -1,25 +0,0 @@
-opam-version: "2.0"
-maintainer: "Jane Street developers"
-authors: ["Jane Street Group, LLC"]
-homepage: "https://github.com/janestreet/result"
-dev-repo: "git+https://github.com/janestreet/result.git"
-bug-reports: "https://github.com/janestreet/result/issues"
-license: "BSD-3-Clause"
-build: [["dune" "build" "-p" name "-j" jobs]]
-depends: [
-  "ocaml"
-  "dune" {>= "1.0"}
-]
-synopsis: "Compatibility Result module"
-description: """
-Projects that want to use the new result type defined in OCaml >= 4.03
-while staying compatible with older version of OCaml should use the
-Result module defined in this library."""
-url {
-  src:
-    "https://github.com/janestreet/result/releases/download/1.5/result-1.5.tbz"
-  checksum: [
-    "sha256=7c3a5e238558f4c1a4f5acca816bc705a0e12f68dc0005c61ddbf2e6cab8ee32"
-    "md5=1b82dec78849680b49ae9a8a365b831b"
-  ]
-}