diff options
| -rw-r--r-- | src/boot/me/trans.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index e6662ed6..0815fbac 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1342,7 +1342,10 @@ let trans_visitor abi.Abi.abi_emit_fn_prologue (emitter()) framesz callsz nabi_rust (upcall_fixup "upcall_grow_task"); write_frame_info_ptrs None; - check_interrupt_flag (); + (* FIXME: not clear why, but checking interrupt in glue context + * causes many.rs to crash when run on a sufficiently large number + * of tasks; possibly a weird interaction with growing? *) + (* check_interrupt_flag (); *) iflog (fun _ -> annotate "finished prologue"); and emitted_quads e = |