ocsigen/js_of_ocaml

[BUG] assert false in global_flow.ml

hhugo opened this issue · 2 comments

hhugo commented

https://github.com/ocsigen/js_of_ocaml/actions/runs/4099499729/jobs/7069469119#step:10:59

(cd _build/default/compiler/tests-jsoo && ../../../install/default/bin/js_of_ocaml --enable effects -o .jsoo_testsuite.objs/jsoo_testsuite.cma.js jsoo_testsuite.cma)
../../../install/default/bin/js_of_ocaml: You found a bug. Please report it at https://github.com/ocsigen/js_of_ocaml/issues :
Error: File "compiler/lib/global_flow.ml", line 434, characters 31-37: Assertion failed

Do we want to support this kind of code?

Array.unsafe_get (Obj.magic "abcd") 0
hhugo commented

Depend on the support you're talking about. I don't think we want the jsoo compiler to fail in this case. I don't think we care too much about the runtime behavior though.