I think without aggressive dead code elimination (which is the case with --profile=dev

Yes ! It was fixed in <a class="commit-link" data-hovercard-type="commit" data-hoverca

In default dune builds, the brr library raises an exception in web workers about brr HOT 4 CLOSED

andrewray commented on August 18, 2024

In default dune builds, the brr library raises an exception in web workers

from brr.

dbuenzli commented on August 18, 2024

Yes ! It was fixed in 655a3d6. I will make a release anytime soon.

from brr.

dbuenzli commented on August 18, 2024

(if you can confirm that opam pin brr --dev works for you, it's even better)

from brr.

andrewray commented on August 18, 2024

Yup, it works by pinning the dev version. Thanks!

from brr.

dbuenzli commented on August 18, 2024

Excellent, thanks for the confirmation.

Maybe worth some comment in the documentation, though it would be really nice if things worked smoothly in dev mode also.

It's not only about dev mode. I like to be able to have a single js artefact and simply:

let () = if Brr_webworkers.Worker.ami () then worker () else main ()

(if you write the the artefact in the html file and perform terrible circonvolutions it's even possible to make it work over the file:// protocol).

from brr.