@grain/binaryen.ml 0.24.0 → 0.26.0

binaryen-archive/src/module_feature.c

@@ -120,9 +120,9 @@ caml_binaryen_feature_strings(value unit) {
 }
 
 CAMLprim value
-caml_binaryen_feature_multi_memories(value unit) {
+caml_binaryen_feature_multi_memory(value unit) {
   CAMLparam1(unit);
-  CAMLreturn(Val_int(BinaryenFeatureMultiMemories()));
+  CAMLreturn(Val_int(BinaryenFeatureMultiMemory()));
 }
 
 CAMLprim value

binaryen-archive/src/module_feature.js

@@ -104,10 +104,10 @@ function caml_binaryen_feature_strings() {
   return Binaryen.Features.Strings;
 }
 
-//Provides: caml_binaryen_feature_multi_memories
+//Provides: caml_binaryen_feature_multi_memory
 //Requires: Binaryen
-function caml_binaryen_feature_multi_memories() {
-  return Binaryen.Features.MultiMemories;
+function caml_binaryen_feature_multi_memory() {
+  return Binaryen.Features.MultiMemory;
 }
 
 //Provides: caml_binaryen_feature_all

binaryen-archive/test/dune

@@ -5,8 +5,7 @@
  (flags
   :standard
   (:include ./config/ocamlopt_flags.sexp))
- (js_of_ocaml
-  (flags --no-sourcemap)))
+ (js_of_ocaml))
 
 (rule
  (alias runtest)

binaryen-archive/test/test.expected

@@ -7,11 +7,11 @@
  (i32.const 0)
 )
 (module
- (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
- (type $none_=>_none (func))
- (type $anyref_i32_i32_=>_i32 (func (param anyref i32 i32) (result i32)))
- (type $anyref_=>_i32 (func (param anyref) (result i32)))
- (import "future-wasi" "write" (func $write (type $anyref_i32_i32_=>_i32) (param anyref i32 i32) (result i32)))
+ (type $0 (func (param i32 i32) (result i32)))
+ (type $1 (func))
+ (type $2 (func (param anyref i32 i32) (result i32)))
+ (type $3 (func (param anyref) (result i32)))
+ (import "future-wasi" "write" (func $write (type $2) (param anyref i32 i32) (result i32)))
  (global $max_int64 i64 (i64.const 9223372036854775807))
  (global $max_int64_mut (mut i64) (i64.const 9223372036854775807))
  (global $test_float64_bits f64 (f64.const 1.23))
@@ -24,7 +24,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $hello))
  (start $start)
- (func $adder (type $i32_i32_=>_i32) (param $0 i32) (param $1 i32) (result i32)
+ (func $adder (type $0) (param $0 i32) (param $1 i32) (result i32)
   (block $add (result i32)
    (if
     (i32.const 0)
@@ -42,7 +42,7 @@
    )
   )
  )
- (func $start (type $none_=>_none)
+ (func $start (type $1)
   (block $start
    (memory.init $1
     (i32.const 2048)
@@ -50,7 +50,7 @@
     (i32.const 5)
    )
    (drop
-    (call_indirect $table (type $i32_i32_=>_i32)
+    (call_indirect $table (type $0)
      (i32.const 3)
      (i32.const 5)
      (i32.const 0)
@@ -58,7 +58,7 @@
    )
   )
  )
- (func $hello (type $anyref_=>_i32) (param $0 anyref) (result i32)
+ (func $hello (type $3) (param $0 anyref) (result i32)
   (call $write
    (local.get $0)
    (i32.const 0)
@@ -67,11 +67,11 @@
  )
 )
 (module
- (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
- (type $none_=>_none (func))
- (type $anyref_i32_i32_=>_i32 (func (param anyref i32 i32) (result i32)))
- (type $anyref_=>_i32 (func (param anyref) (result i32)))
- (import "future-wasi" "write" (func $write (type $anyref_i32_i32_=>_i32) (param anyref i32 i32) (result i32)))
+ (type $0 (func (param i32 i32) (result i32)))
+ (type $1 (func))
+ (type $2 (func (param anyref i32 i32) (result i32)))
+ (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")
@@ -81,7 +81,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $hello))
  (start $start)
- (func $adder (type $i32_i32_=>_i32) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
+ (func $adder (type $0) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
   (i32.add
    (select
     (local.get $0)
@@ -93,7 +93,7 @@
    (local.get $1)
   )
  )
- (func $start (type $none_=>_none) (; has Stack IR ;)
+ (func $start (type $1) (; has Stack IR ;)
   (memory.init $1
    (i32.const 2048)
    (i32.const 0)
@@ -106,7 +106,7 @@
    )
   )
  )
- (func $hello (type $anyref_=>_i32) (; has Stack IR ;) (param $0 anyref) (result i32)
+ (func $hello (type $3) (; has Stack IR ;) (param $0 anyref) (result i32)
   (call $write
    (local.get $0)
    (i32.const 0)
@@ -180,7 +180,7 @@
  (func $0 (type $type$1) (param $0 i32) (param $1 i32) (result i32)
   local.get $0
   local.get $1
-  i32.load $0
+  i32.load
   i32.const 1
   select
   local.get $1
@@ -190,7 +190,7 @@
   i32.const 2048
   i32.const 0
   i32.const 5
-  memory.init $0 $1
+  memory.init $1
   i32.const 3
   i32.const 5
   call $0

binaryen-archive/test/test.ml

@@ -270,7 +270,7 @@ let _ =
       Module.Feature.relaxed_simd;
       Module.Feature.extended_const;
       Module.Feature.strings;
-      Module.Feature.multi_memories;
+      Module.Feature.multi_memory;
       Module.Feature.all;
     ]
 

binaryen-archive/esy.lock/opam/cppo.1.6.9/opam

@@ -1,39 +0,0 @@
-opam-version: "2.0"
-synopsis: "Code preprocessor like cpp for OCaml"
-description: """\
-Cppo is an equivalent of the C preprocessor for OCaml programs.
-It allows the definition of simple macros and file inclusion.
-
-Cppo is:
-
-* more OCaml-friendly than cpp
-* easy to learn without consulting a manual
-* reasonably fast
-* simple to install and to maintain"""
-maintainer: [
-  "Martin Jambon <martin@mjambon.com>" "Yishuai Li <yishuai@upenn.edu>"
-]
-authors: "Martin Jambon"
-license: "BSD-3-Clause"
-homepage: "https://github.com/ocaml-community/cppo"
-doc: "https://ocaml-community.github.io/cppo"
-bug-reports: "https://github.com/ocaml-community/cppo/issues"
-depends: [
-  "ocaml" {>= "4.02.3"}
-  "dune" {>= "1.10"}
-  "base-unix"
-]
-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}
-]
-dev-repo: "git+https://github.com/ocaml-community/cppo.git"
-url {
-  src: "https://github.com/ocaml-community/cppo/archive/v1.6.9.tar.gz"
-  checksum: [
-    "md5=d23ffe85ac7dc8f0afd1ddf622770d09"
-    "sha512=26ff5a7b7f38c460661974b23ca190f0feae3a99f1974e0fd12ccf08745bd7d91b7bc168c70a5385b837bfff9530e0e4e41cf269f23dd8cf16ca658008244b44"
-  ]
-}

binaryen-archive/esy.lock/opam/dune.3.11.1/opam

@@ -1,57 +0,0 @@
-opam-version: "2.0"
-synopsis: "Fast, portable, and opinionated build system"
-description: """
-
-dune is a build system that was designed to simplify the release of
-Jane Street packages. It reads metadata from "dune" files following a
-very simple s-expression syntax.
-
-dune is fast, has very low-overhead, and supports parallel builds on
-all platforms. It has no system dependencies; all you need to build
-dune or packages using dune is OCaml. You don't need make or bash
-as long as the packages themselves don't use bash explicitly.
-
-dune supports multi-package development by simply dropping multiple
-repositories into the same directory.
-
-It also supports multi-context builds, such as building against
-several opam roots/switches simultaneously. This helps maintaining
-packages across several versions of OCaml and gives cross-compilation
-for free.
-"""
-maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
-authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
-license: "MIT"
-homepage: "https://github.com/ocaml/dune"
-doc: "https://dune.readthedocs.io/"
-bug-reports: "https://github.com/ocaml/dune/issues"
-conflicts: [
-  "merlin" {< "3.4.0"}
-  "ocaml-lsp-server" {< "1.3.0"}
-  "dune-configurator" {< "2.3.0"}
-  "odoc" {< "2.0.1"}
-  "dune-release" {< "1.3.0"}
-  "js_of_ocaml-compiler" {< "3.6.0"}
-  "jbuilder" {= "transition"}
-]
-dev-repo: "git+https://github.com/ocaml/dune.git"
-build: [
-  ["ocaml" "boot/bootstrap.ml" "-j" jobs]
-  ["./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" jobs]
-]
-depends: [
-  # Please keep the lower bound in sync with .github/workflows/workflow.yml,
-  # dune-project and min_ocaml_version in bootstrap.ml
-  ("ocaml" {>= "4.08"} | ("ocaml" {>= "4.02" & < "4.08~~"} & "ocamlfind-secondary"))
-  "base-unix"
-  "base-threads"
-]
-url {
-  src:
-    "https://github.com/ocaml/dune/releases/download/3.11.1/dune-3.11.1.tbz"
-  checksum: [
-    "sha256=866f2307adadaf7604f3bf9d98bb4098792baa046953a6726c96c40fc5ed3f71"
-    "sha512=c888153b204a16bcfed2636de776bbd5f9ca84484e716cc1e9ef3ba3c904e9dd15a2609ae943cddb6097912623ec54618c58386d6730ff742d746850400fb3cc"
-  ]
-}
-x-commit-hash: "7cbb0e7277c6cacd1ccf7941cac5a03c25fc63cf"

binaryen-archive/esy.lock/opam/ocamlbuild.0.14.2+win/opam

@@ -1,38 +0,0 @@
-opam-version: "2.0"
-synopsis:
-  "OCamlbuild is a build system with builtin rules to easily build most OCaml projects"
-maintainer: "Gabriel Scherer <gabriel.scherer@gmail.com>"
-authors: ["Nicolas Pouillard" "Berke Durak"]
-license: "LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception"
-homepage: "https://github.com/ocaml/ocamlbuild/"
-doc: "https://github.com/ocaml/ocamlbuild/blob/master/manual/manual.adoc"
-bug-reports: "https://github.com/ocaml/ocamlbuild/issues"
-depends: [
-  "ocaml" {>= "4.03"}
-]
-conflicts: [
-  "base-ocamlbuild"
-  "ocamlfind" {< "1.6.2"}
-]
-build: [
-  [make "all"]
-]
-install: [
-  [make "install"]
-  ["mkdir" "-p" "%{lib}%/ocamlbuild"]
-  ["install" "-m" "0644" "META" "%{lib}%/ocamlbuild"]
-]
-dev-repo: "git+https://github.com/ocaml/ocamlbuild.git"
-url {
-  src: "https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.14.2.tar.gz"
-  checksum: [
-    "md5=2f407fadd57b073155a6aead887d9676"
-    "sha512=f568bf10431a1f701e8bd7554dc662400a0d978411038bbad93d44dceab02874490a8a5886a9b44e017347e7949997f13f5c3752f74e1eb5e273d2beb19a75fd"
-  ]
-}
-extra-source "ocamlbuild-0.14.2.patch" {
-  src: "https://raw.githubusercontent.com/ocaml-opam/opam-repository-mingw/354a87b397856f2a70024c5c83fc5001074935b6/packages/ocamlbuild/ocamlbuild.0.14.2/files/ocamlbuild-0.14.2.patch"
-  checksum: "sha256=a9b7e1829a3304e5a073d8ddea29d3d8272698e93b7e1ee659ae5e31e5cfb6b9"
-}
-patches: "ocamlbuild-0.14.2.patch"
-available: os = "win32"

binaryen-archive/esy.lock/opam/ocamlfind.1.9.6/files/0001-Harden-test-for-OCaml-5.patch

@@ -1,12 +0,0 @@
-diff a/configure b/configure
---- a/configure
-+++ b/configure
-@@ -294,7 +294,7 @@
-     # If findlib has been configured -sitelib $(ocamlc -where) then there's
-     # nothing to do, but otherwise we need to put OCaml's Standard Library
-     # into the path setting.
--    if [ ! -e "${ocaml_sitelib}/stdlib/META" ]; then
-+    if [ ! -e "${ocaml_sitelib}/stdlib.cmi" ]; then
-         ocamlpath="${ocaml_core_stdlib}${path_sep}${ocamlpath}"
-     fi
- fi

binaryen-archive/esy.lock/opam/seq.base/files/META.seq

@@ -1,4 +0,0 @@
-name="seq"
-version="[distributed with OCaml 4.07 or above]"
-description="dummy backward-compatibility package for iterators"
-requires=""

binaryen-archive/esy.lock/opam/seq.base/files/seq.install

@@ -1,3 +0,0 @@
-lib:[
-  "META.seq" {"META"}
-]

binaryen-archive/esy.lock/opam/uutf.1.0.3/opam

@@ -1,36 +0,0 @@
-opam-version: "2.0"
-synopsis: """Non-blocking streaming Unicode codec for OCaml"""
-maintainer: ["Daniel Bünzli <daniel.buenzl i@erratique.ch>"]
-authors: ["The uutf programmers"]
-homepage: "https://erratique.ch/software/uutf"
-doc: "https://erratique.ch/software/uutf/doc/"
-dev-repo: "git+https://erratique.ch/repos/uutf.git"
-bug-reports: "https://github.com/dbuenzli/uutf/issues"
-license: ["ISC"]
-tags: ["unicode" "text" "utf-8" "utf-16" "codec" "org:erratique"]
-depends: ["ocaml" {>= "4.03.0"}
-          "ocamlfind" {build}
-          "ocamlbuild" {build}
-          "topkg" {build & >= "1.0.3"}]
-depopts: ["cmdliner"]
-conflicts: ["cmdliner" {< "0.9.8"}]
-build: [["ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "%{dev}%"
-          "--with-cmdliner" "%{cmdliner:installed}%"]]
-url {
-  src: "https://erratique.ch/software/uutf/releases/uutf-1.0.3.tbz"
-  checksum: "sha512=50cc4486021da46fb08156e9daec0d57b4ca469b07309c508d5a9a41e9dbcf1f32dec2ed7be027326544453dcaf9c2534919395fd826dc7768efc6cc4bfcc9f8"}
-description: """
-Uutf is a non-blocking streaming codec to decode and encode the UTF-8,
-UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently
-work character by character without blocking on IO. Decoders perform
-character position tracking and support newline normalization.
-
-Functions are also provided to fold over the characters of UTF encoded
-OCaml string values and to directly encode characters in OCaml
-Buffer.t values. **Note** that since OCaml 4.14, that functionality
-can be found in the Stdlib and you are encouraged to migrate to it.
-
-Uutf has no dependency and is distributed under the ISC license.
-
-Home page: http://erratique.ch/software/uutf  
-Contact: Daniel Bünzli `<daniel.buenzl i@erratique.ch>`"""

binaryen-archive/esy.lock/overrides/opam__s__ocamlbuild_opam__c__0.14.2+win_opam_override/files/winpatch.patch

@@ -1,11 +0,0 @@
---- ./Makefile
-+++ ./Makefile
-@@ -271,7 +271,7 @@
- 	echo '  "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- ifeq ($(OCAML_NATIVE), true)
- 	echo '  "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
--	echo '  "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
-+	echo "  \"ocamlbuild.native\" {\"ocamlbuild${EXE}\"}" >> ocamlbuild.install
- else
- 	echo '  "ocamlbuild.byte" {"ocamlbuild"}' >> ocamlbuild.install
- endif

binaryen-archive/esy.lock/overrides/opam__s__ocamlbuild_opam__c__0.14.2+win_opam_override/package.json

@@ -1,29 +0,0 @@
-{
-  "build": [
-    [
-      "bash",
-      "-c",
-      "#{os == 'windows' ? 'patch -p1 < winpatch.patch' : 'true'}"
-    ],
-    [
-      "make",
-      "-f",
-      "configure.make",
-      "all",
-      "OCAMLBUILD_PREFIX=#{self.install}",
-      "OCAMLBUILD_BINDIR=#{self.bin}",
-      "OCAMLBUILD_LIBDIR=#{self.lib}",
-      "OCAMLBUILD_MANDIR=#{self.man}",
-      "OCAMLBUILD_NATIVE=true",
-      "OCAMLBUILD_NATIVE_TOOLS=true",
-      "EXE=#{os == 'windows' ? '.exe': ''}"
-    ],
-    [
-      "make",
-      "check-if-preinstalled",
-      "all",
-      "EXE=#{os == 'windows' ? '.exe': ''}",
-      "opam-install"
-    ]
-  ]
-}