[new release] js_of_ocaml (8 packages) (6.1.0+beta1)

[hhugo]

Compiler from OCaml bytecode to JavaScript

• Project page: https://ocsigen.org/js_of_ocaml/latest/manual/overview
• Documentation: https://ocsigen.org/js_of_ocaml/latest/manual/overview

CHANGES:

Features/Changes

• Misc: drop support for OCaml 4.12 and bellow
• Misc: switch to dune.3.19
• Misc: initial support for ocaml 5.4 (Prepare 5.4 ocsigen/js_of_ocaml#2030, Allow js_of_ocaml-compiler to be installed on OCaml 5.4 ocsigen/js_of_ocaml#2058)
• Compiler: support for OCaml 4.14.3+trunk (Compiler: add support for OCaml 4.14.3+trunk ocsigen/js_of_ocaml#1844)
• Compiler: add the --empty-sourcemap flag
• Compiler: improve debug/sourcemap location of closures (Compiler: disconnect closure cont from closure location.  ocsigen/js_of_ocaml#1947)
• Compiler: optimize compilation of switches (Compiler: improved compilation of switches ocsigen/js_of_ocaml#1921, Compiler: simplify branch ocsigen/js_of_ocaml#2057)
• Compiler: evaluate statically more primitives (Optimization of primitives: some improvements ocsigen/js_of_ocaml#1912, Compiler: keep Int32 and Nativeint in the IR for the js backend ocsigen/js_of_ocaml#1915, Flow.the_const_of: allow to use different comparison functions ocsigen/js_of_ocaml#1965, Collection of small changes ocsigen/js_of_ocaml#1969)
• Compiler: rewrote inlining pass (Rewrite inlining pass ocsigen/js_of_ocaml#1935, Inlining: make sure inner closures are processed before their enclosing closure ocsigen/js_of_ocaml#2018, More effective passes ocsigen/js_of_ocaml#2027)
• Compiler: improve tailcall optimization (Compiler: make tailcall optim more robust ocsigen/js_of_ocaml#1943)
• Compiler: improve deadcode optimization (Speed-up dead code elimination and make Pure_fun.f more effective ocsigen/js_of_ocaml#1963, Improved optimization pass scheduling ocsigen/js_of_ocaml#1962, Compiler: Merge blocks ocsigen/js_of_ocaml#1967)
• Compiler: deadcode elimination of cyclic values (Deadcode elimination of cyclic values ocsigen/js_of_ocaml#1978)
• Compiler: remove empty blocks ( Compiler: remove empty blocks ocsigen/js_of_ocaml#1934)
• Compiler: improve coloring optimization (Compiler: speedup coloring ocsigen/js_of_ocaml#1971, Compiler: speedup js freevars and variable coloring ocsigen/js_of_ocaml#1984, Improve Js_assign logic ocsigen/js_of_ocaml#1986, Compiler: implement a fast js free variable analysis ocsigen/js_of_ocaml#1989)
• Compiler: faster constant sharing (Compiler: faster constant sharing ocsigen/js_of_ocaml#1988)
• Compiler: faster js code generation (Compiler: faster queue access ocsigen/js_of_ocaml#1985)
• Compiler: improve performance of Javascript linking
• Compiler: more efficient code generation from bytecode (Generate less block parameters when parsing the bytecode ocsigen/js_of_ocaml#1972)
• Compiler: faster compilation by improving the scheduling of optimization passes (Improved optimization pass scheduling ocsigen/js_of_ocaml#1962, Compiler: reorder optimization passes ocsigen/js_of_ocaml#2001, Compiler: refactor driver by merging effects and exact_calls ocsigen/js_of_ocaml#2012, More effective passes ocsigen/js_of_ocaml#2027)
• Compiler: faster compilation by stopping sooner when optimizations become unproductive (Make optimized compilation terminate sooner ocsigen/js_of_ocaml#1939)
• Compiler: Propagate arity between compilation units (Propagate arity between compilation units  ocsigen/js_of_ocaml#1594)
• Compiler: Add flags to enable/disable warnings (Better control over jsoo warnings ocsigen/js_of_ocaml#2052)
• Compiler/wasm: directly write Wasm binary modules (Output a Wasm binary module rather than a text file when possible ocsigen/js_of_ocaml#2000, Always output a Wasm binary module rather than a text file ocsigen/js_of_ocaml#2003)
• Compiler/wasm: faster wat output (Faster wat output ocsigen/js_of_ocaml#1992)
• Compiler/wasm: use a Wasm text files preprocessor (Wasm text file preprocessor ocsigen/js_of_ocaml#1822)
• Compiler/wasm: optimize integer operations (Wasm: integer optimizations ocsigen/js_of_ocaml#2032)
• Compiler/wasm: use type analysis to remove some unnecessary uses of JavasScript strict equality (Use the type analysis to avoid using JavasScript strict equality ocsigen/js_of_ocaml#2040)
• Compiler/wasm: use more precise environment types (Use more precise types in function environments ocsigen/js_of_ocaml#2041)
• Compiler/wasm: optimize calls to statically known function (Optimize calls to a statically known function  ocsigen/js_of_ocaml#2044)
• Runtime: use es6 class (runtime(js): use es6 class ocsigen/js_of_ocaml#1840)
• Runtime: support more Unix functions (Implement more Unix primitives ocsigen/js_of_ocaml#1829)
• Runtime: remove polyfill for Map to simplify MlObjectTable implementation (runtime(js): better caml_xmlhttprequest_create error handling and remove Map polyfill ocsigen/js_of_ocaml#1846)
• Runtime: refactor caml_xmlhttprequest_create implementation (runtime(js): better caml_xmlhttprequest_create error handling and remove Map polyfill ocsigen/js_of_ocaml#1846)
• Runtime: update constant imports to use node:fs module (runtime(js): update constant imports to use node:fs module ocsigen/js_of_ocaml#1850)
• Runtime: make Obj.dup work with floats and boxed numbers (Make Obj.dup work on floats and boxed integers ocsigen/js_of_ocaml#1871)
• Runtime: delete BigStringReader, one should use UInt8ArrayReader instead
• Runtime: less conversion during un-marshalling (Runtime: less conversion for un-marshalling  ocsigen/js_of_ocaml#1889)
• Runtime: use TextEncoder/TextDecoder for utf8-utf16 conversions
• Runtime: use Dataview to convert between floats and bit representation
• Runtime: optimize Str.search_forward/search_backward (Audit unused js variable in the js runtime  ocsigen/js_of_ocaml#2056)
• Runtime: deprecate caml_ba_create_from (Audit unused js variable in the js runtime  ocsigen/js_of_ocaml#2056)
• Runtime: check for unused variable in the runtime (Audit unused js variable in the js runtime  ocsigen/js_of_ocaml#2056)
• Runtime/wasm: implement BLAKE2b primitives for Wasm (Wasm runtime: BLAKE2b implementation ocsigen/js_of_ocaml#1873)
• Runtime/wasm: support jsoo_env and keep track of backtrace status (Wasm runtime: keep track of backtrace status ocsigen/js_of_ocaml#1881)
• Runtime/wasm: support unmarshaling compressed data (Wasm runtime: support unmarhalling compressed data ocsigen/js_of_ocaml#1898)
• Runtime/wasm: make resuming a continuation more efficient in Wasm (Wasm runtime: make resuming continuations more efficient ocsigen/js_of_ocaml#1892)
• Runtime/wasm: use imported string constants for JavaScript strings (Wasm_of_ocaml: more efficient definition of constant Javascript strings ocsigen/js_of_ocaml#2022)
• Runtime/wasm: use DataView primitives to implement bigarrays (Wasm runtime: use DataView primitives to implement bigarrays ocsigen/js_of_ocaml#1979)
• Ppx: explicitly disallow polymorphic method (Ppx_js: more tests ocsigen/js_of_ocaml#1897)
• Ppx: allow "function" in object literals (Ppx_js: more tests ocsigen/js_of_ocaml#1897)
• Lib: add Dom_html.window.matchMedia & Dom_html.mediaQueryList (Dom_html: add window.matchMedia & MediaQueryList ocsigen/js_of_ocaml#2017)
• Lib: make the Wasm version of Json.output work with native ints and JavaScript objects (Json.output improvements ocsigen/js_of_ocaml#1872)

Bug fixes

• Compiler: fix stack overflow issues with double translation (Double translation: fix stack overflow issue ocsigen/js_of_ocaml#1869)
• Compiler: minifier fix (Fix function declaration scopes in Js_traverse.rename_variable ocsigen/js_of_ocaml#1867)
• Compiler: fix shortvar with --enable es6 (AssignTarget was not properly handled)
• Compiler: fix assert failure with double translation (Fix assert failure in double translation ocsigen/js_of_ocaml#1870)
• Compiler: fix path rewriting of Wasm source maps (Wasm_of_ocaml: rewrite file paths in source maps ocsigen/js_of_ocaml#1882)
• Compiler: fix global dead code in presence of dead tailcall (Compiler: do not prevent deadcode to preserve tailcall ocsigen/js_of_ocaml#2010)
• Compiler/wasm: fix bound check for empty float array (Fix bound check for empty float array ocsigen/js_of_ocaml#1904)
• Runtime: fix path normalization (runtime: fix path normalisation ocsigen/js_of_ocaml#1848)
• Runtime: fix reading from the pseudo-filesystem (Fs_fake: fix offset computation ocsigen/js_of_ocaml#1859)
• Runtime: fix initialization of standard streams under Windows (Fix initialization of standard streams under Windows ocsigen/js_of_ocaml#1849)
• Runtime: fix Int64.of_string overflow check (Runtime fixes ocsigen/js_of_ocaml#1874)
• Runtime: fix caml_string_concat when not using JS strings (Runtime fixes ocsigen/js_of_ocaml#1874)
• Runtime: consistent bigarray hashing across all architectures (Fix bigarray hashing ocsigen/js_of_ocaml#1977)
• Runtime: fix caml_utf8_of_utf16 bug in high surrogate case (Runtime: fix caml_utf8_of_utf16 bug in high surrogate case ocsigen/js_of_ocaml#2008)
• Runtime: fix method lookup (Runtime/wasm: fix method lookup ocsigen/js_of_ocaml#2034, Runtime/wasm: fix method lookup, take 2 ocsigen/js_of_ocaml#2038, Fix method lookup cache with separate compilation ocsigen/js_of_ocaml#2039)
• Lib: fix Dom_html.Keyboard_code.of_event (Fix Dom_html.Keyboard_code.of_event ocsigen/js_of_ocaml#1878)
• Tools: fix jsoo_mktop and jsoo_mkcmis (Fix jsoo_mkcmis ocsigen/js_of_ocaml#1877)
• Toplevel: fix for when use-js-strings is disabled (Toplevel: fix for when use-js-strings is disabled ocsigen/js_of_ocaml#1997)

[mseri]

The links, "https://github.com/ocsigen/js_of_ocaml/releases/download/untagged-50cdbd7267246316be8f/js_of_ocaml-6.1.0.beta1.tbz", seem to be broken

[hhugo]

There might be an infrastructure issue with the Windows CI / build.

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
Error:  Could not update repository "default": rsync error: Directory C:/a/opam-repository/opam-repository/ does not exist
Testing js_of_ocaml-compiler.6.1.0+beta1
js_of_ocaml-compiler.6.1.0+beta1 is not installable. Skip.

Testing js_of_ocaml-lwt.6.1.0+beta1
js_of_ocaml-lwt.6.1.0+beta1 is not installable. Skip.

Testing js_of_ocaml-ppx.6.1.0+beta1
js_of_ocaml-ppx.6.1.0+beta1 is not installable. Skip.

Testing js_of_ocaml-ppx_deriving_json.6.1.0+beta1
js_of_ocaml-ppx_deriving_json.6.1.0+beta1 is not installable. Skip.

Testing js_of_ocaml-toplevel.6.1.0+beta1
js_of_ocaml-toplevel.6.1.0+beta1 is not installable. Skip.

Testing js_of_ocaml-tyxml.6.1.0+beta1
js_of_ocaml-tyxml.6.1.0+beta1 is not installable. Skip.

Testing js_of_ocaml.6.1.0+beta1
js_of_ocaml.6.1.0+beta1 is not installable. Skip.

Testing wasm_of_ocaml-compiler.6.1.0+beta1
wasm_of_ocaml-compiler.6.1.0+beta1 is not installable. Skip.

[hhugo]

gen_js_api related errors (such as broken invariant in parsetree: Explicit universal type quantification cannot be empty.) are being addressed in #28115

[hhugo]

jsoo-react addressed in #28117

[hhugo]

replaced by #28130