TryWhy3 crashes at startup: "caml_thread_initialize not implemented"
Since the Unix
module is indirectly reachable from trywhy3/why_worker.ml
, JavaScript chokes on the initialization code of this module, which includes a call to the unavailable function caml_thread_initialize
.
Edited by Guillaume Melquiond