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
Separate compilation instructions should mention that to get exactly the same results as what is done by whole program compilation one should add a compilation of std_exit at the end of the link instruction. Otherwise do_at_exit will not be called which means at_exit functions won't either.
This may not be a problem if you don't use Sys.at_exit handlers but it may lead to different visible program behaviour: in particular the Stdlib.flush_all funcction won't be called at program exit.
Separate compilation instructions should mention that to get exactly the same results as what is done by whole program compilation one should add a compilation of
std_exit
at the end of the link instruction. Otherwisedo_at_exit
will not be called which meansat_exit
functions won't either.This may not be a problem if you don't use
Sys.at_exit
handlers but it may lead to different visible program behaviour: in particular theStdlib.flush_all
funcction won't be called at program exit.Whole program:
Separate compilation (according to current instructions):
Adding a compilation of std_exit.cmo:
The text was updated successfully, but these errors were encountered: