Lwt_exit is a Lwt sub-library which notably allows to execute callbacks on program termination (like with C-c). It works by setting up a dedicated signal handler, which progress overwrites temporarily.
I suggest at least documenting this incompatibility, and better yet, it would be nice investigating into calling the previous handler instead of fully replacing it.
Lwt_exitis a Lwt sub-library which notably allows to execute callbacks on program termination (like withC-c). It works by setting up a dedicated signal handler, whichprogressoverwrites temporarily.I suggest at least documenting this incompatibility, and better yet, it would be nice investigating into calling the previous handler instead of fully replacing it.