You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think without aggressive dead code elimination (which is the case with --profile=dev dune builds) there is something that accesses the global document object, and this causes an exception when the code is run in a web worker context.
With --profile=release things seem to be OK.
Maybe worth some comment in the documentation, though it would be really nice if things worked smoothly in dev mode also.
The text was updated successfully, but these errors were encountered:
andrewray
changed the title
In default dune builds, the brr library raises and exception in web workers
In default dune builds, the brr library raises an exception in web workers
Nov 19, 2022
I think without aggressive dead code elimination (which is the case with --profile=dev dune builds) there is something that accesses the global document object, and this causes an exception when the code is run in a web worker context.
With --profile=release things seem to be OK.
Maybe worth some comment in the documentation, though it would be really nice if things worked smoothly in dev mode also.
The text was updated successfully, but these errors were encountered: