[new release] js_of_ocaml (7 packages) (5.5.0)

[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

• Compiler: global dead code elimination (Micah Cantor, Global Deadcode Elimination ocsigen/js_of_ocaml#1503)
• Compiler: change control-flow compilation strategy (Compiler: refactor control flow compilation ocsigen/js_of_ocaml#1496)
• Compiler: loop no longer absorb the whole continuation
• Compiler: Dead code elimination of unused references (ocsigen/js_of_ocaml#2076)
• Compiler: reduce memory consumption (Compiler: reduce memory consumption ocsigen/js_of_ocaml#1516)
• Compiler: support for import and export construct in the js parser/printer
• Lib: add download attribute to anchor element
• Misc: switch CI to OCaml 5.1
• Misc: preliminary support for OCaml 5.2
• Misc: support for OCaml 5.1.1

Bug fixes

• Runtime: fix Dom_html.onIE (Fix caml_js_on_ie ocsigen/js_of_ocaml#1493)
• Runtime: add conversion functions + strict equality for compatibility with Wasm_of_ocaml (Improve compatibility with Wasm_of_ocaml ocsigen/js_of_ocaml#1492)
• Runtime: Dynlink should be able to find symbols in jsoo_runtime Runtime: lookup inside jsoo_runtime in caml_dynlink_lookup_symbol ocsigen/js_of_ocaml#1517
• Runtime: fix Unix.lstat, Unix.LargeFile.lstat (fix: add missing return for stat Unix functions ocsigen/js_of_ocaml#1519)
• Compiler: fix global flow analysis (Fix global flow analysis ocsigen/js_of_ocaml#1494)
• Compiler: fix js parser/printer wrt async functions (The async keyword should not be followed by a newline ocsigen/js_of_ocaml#1515)
• Compiler: fix free variables pass wrt parameters' default value (Compiler: fix free variable wrt parameter's default value ocsigen/js_of_ocaml#1521)
• Compiler: fix free variables for classes
• Compiler: fix internal invariant (continuation)
• Compiler: fix variable renaming for let, const and classes
• Lib: Url.Current.set_fragment need not any urlencode (fix(url.ml): set_fragment need not any urlencode ocsigen/js_of_ocaml#1497)

[haochenx]

It seems that there are this release breaks the following packages which were building fine with js_of_ocaml.5.4.0 for similar reasons. Please confirm if those are expected and if they are, we probably want to add upper bounds to these affected packages.

• vg.0.9.4 (failed: This expression has type)
• eliom.10.0.0 (failed: This expression has type Js_of_ocaml.Js.number_t)
• ezjs_blockies.0.1.1 (failed: This expression has type)
• ezjsonm-lwt.1.3.0 (failed: The compilation of ezjsonm-lwt.1.3.0 failed at "dune runtest -p ezjsonm-lwt -j 255".)
• fmlib_js.0.2.0 (failed: This expression has type float but an expression was expected of type)
• graphv_webgl_impl.0.1.1 (failed: This expression has type)
• incr_dom.v0.15.1 (failed: This expression has type)
• ojs-base.0.6.0 (failed: This expression has type)

examples:

#=== ERROR while compiling eliom.10.0.0 =======================================#
[..]
# File "src/lib/eliom_client.client.ml", line 596, characters 42-57:
# Error: This expression has type Js_of_ocaml.Js.number_t
#        but an expression was expected of type float
# Command exited with code 2.
# make: *** [Makefile:14: native] Error 10

#=== ERROR while compiling vg.0.9.4 ===========================================#
[..]
# File "src/vgr_htmlc.ml", line 18, characters 26-39:
# 18 |   method lineDashOffset : Js.float_prop
#                                ^^^^^^^^^^^^^
# Alert deprecated: Js_of_ocaml.Js.float_prop
# [since 2.0].
# File "src/vgr_htmlc.ml", line 105, characters 20-81:
# 105 |         let g = P2.(s.ctx ## (createLinearGradient (x pt) (y pt) (x pt') (y pt'))) in
#                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: This expression has type
#          Js_of_ocaml__.Js.number_t ->
#          Js_of_ocaml__.Js.number_t ->
#          Js_of_ocaml__.Js.number_t ->
#          Js_of_ocaml__.Js.number_t ->
#          Js_of_ocaml.Dom_html.canvasGradient Js_of_ocaml__.Js.t
#          Js_of_ocaml__.Js.meth
#        but an expression was expected of type
#          float -> float -> float -> float -> 'res Js_of_ocaml.Js.meth
#        Type Js_of_ocaml__.Js.number_t = Js_of_ocaml.Js.number_t
#        is not compatible with type float 
# Command exited with code 2.
# pkg.ml: [ERROR] cmd ['ocamlbuild' '-use-ocamlfind' '-classic-display' '-j' '4' '-tag' 'debug'
#      '-build-dir' '_build' 'opam' 'pkg/META' 'CHANGES.md' 'LICENSE.md'
#      'README.md' 'src/vg.a' 'src/vg.cmxs' 'src/vg.cmxa' 'src/vg.cma'
#      'src/vg.cmx' 'src/vg.cmi' 'src/vg.mli' 'src/vgr_svg.a'
#      'src/vgr_svg.cmxs' 'src/vgr_svg.cmxa' 'src/vgr_svg.cma'
#      'src/vgr_svg.cmx' 'src/vgr_svg.cmi' 'src/vgr_svg.mli' 'src/vgr_pdf.a'
#      'src/vgr_pdf.cmxs' 'src/vgr_pdf.cmxa' 'src/vgr_pdf.cma'
#      'src/vgr_pdf.cmx' 'src/vgr_pdf.cmi' 'src/vgr_pdf.mli' 'src/vgr_htmlc.a'
#      'src/vgr_htmlc.cmxs' 'src/vgr_htmlc.cmxa' 'src/vgr_htmlc.cma'
#      'src/vgr_htmlc.cmx' 'src/vgr_htmlc.cmi' 'src/vgr_htmlc.mli'
#      'test/vecho.native' 'doc/index.mld' 'test/examples.ml'
#      'test/min_htmlc.html' 'test/min_htmlc.ml' 'test/min_pdf.ml'
#      'test/min_svg.ml' 'test/min_cairo_png.ml' 'test/min_cairo_mem.ml'
#      'test/fglyphs.ml' 'test/vecho.ml']: exited with 10

#=== ERROR while compiling ojs_base.0.7.0 =====================================#
# context              2.2.0~alpha4~dev | linux/x86_64 | ocaml-base-compiler.5.1.0 | file:///home/opam/opam-repository
# path                 ~/.opam/5.1/.opam-switch/build/ojs_base.0.7.0
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p ojs_base -j 71 --promote-install-files=false @install
# exit-code            1
# env-file             ~/.opam/log/ojs_base-7-934b46.env
# output-file          ~/.opam/log/ojs_base-7-934b46.out
### output ###
# (cd _build/default && /home/opam/.opam/5.1/bin/ocamlc.opt -g -w -40 -bin-annot -w -6-7-9-10-27-32-33-34-35-36-50-52 -no-strict-sequence -g -bin-annot -I lib_js/.ojs_base_js.objs/byte -I /home/opam/.opam/5.1/lib/js_of_ocaml -I /home/opam/.opam/5.1/lib/js_of_ocaml-compiler/runtime -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/yojson -intf-suffix .ml -no-alias-deps -o lib_js/.ojs_base_js.objs/byte/ojs_js.cmo -c -impl lib_js/ojs_js.pp.ml)
# File "lib_js/ojs_js.ml", line 159, characters 11-38:
# 159 |     ignore(Dom_html.window##setTimeout
#                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: This expression has type
#          (unit -> unit) Js_of_ocaml__.Js.callback ->
#          Js_of_ocaml__.Js.number_t ->
#          Js_of_ocaml.Dom_html.timeout_id Js_of_ocaml__.Js.meth
#        but an expression was expected of type
#          (unit, unit -> unit) Js_of_ocaml.Js.meth_callback ->
#          float -> 'res Js_of_ocaml.Js.meth
#        Type Js_of_ocaml__.Js.number_t = Js_of_ocaml.Js.number_t
#        is not compatible with type float
# (cd _build/default && /home/opam/.opam/5.1/bin/ocamlopt.opt -g -w -40 -bin-annot -w -6-7-9-10-27-32-33-34-35-36-50-52 -no-strict-sequence -g -I lib_js/.ojs_base_js.objs/byte -I lib_js/.ojs_base_js.objs/native -I /home/opam/.opam/5.1/lib/js_of_ocaml -I /home/opam/.opam/5.1/lib/js_of_ocaml-compiler/runtime -I /home/opam/.opam/5.1/lib/seq -I /home/opam/.opam/5.1/lib/yojson -intf-suffix .ml -no-alias-deps -o lib_js/.ojs_base_js.objs/native/ojs_js.cmx -c -impl lib_js/ojs_js.pp.ml)
# File "lib_js/ojs_js.ml", line 159, characters 11-38:
# 159 |     ignore(Dom_html.window##setTimeout
#                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: This expression has type
#          (unit -> unit) Js_of_ocaml__.Js.callback ->
#          Js_of_ocaml__.Js.number_t ->
#          Js_of_ocaml.Dom_html.timeout_id Js_of_ocaml__.Js.meth
#        but an expression was expected of type
#          (unit, unit -> unit) Js_of_ocaml.Js.meth_callback ->
#          float -> 'res Js_of_ocaml.Js.meth
#        Type Js_of_ocaml__.Js.number_t = Js_of_ocaml.Js.number_t
#        is not compatible with type float

[hhugo]

replaced by #24888

[haochenx]

thanks!