We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Original bug ID: 5606 Reporter: alexey.rodriguez Assigned to: meyer Status: closed (set by @xavierleroy on 2013-08-31T10:49:16Z) Resolution: fixed Priority: normal Severity: major Platform: x86_64 OS: Ubuntu OS Version: 11.10 Version: 3.12.1 Category: documentation Monitored by: wagerlabs @hcarty
The documentation does not warn strongly enough about using Extract_exception on exception results before calling a function that can trigger a GC.
For reference see the discussion on the mailing list:
https://sympa-roc.inria.fr/wws/arc/caml-list/2012-05/msg00003.html
The attached patch includes a warning and an example to this purpose.
The text was updated successfully, but these errors were encountered:
Comment author: meyer
Thanks, patch (with minor modifications) has been applied as r12431.
Sorry, something went wrong.
No branches or pull requests
Original bug ID: 5606
Reporter: alexey.rodriguez
Assigned to: meyer
Status: closed (set by @xavierleroy on 2013-08-31T10:49:16Z)
Resolution: fixed
Priority: normal
Severity: major
Platform: x86_64
OS: Ubuntu
OS Version: 11.10
Version: 3.12.1
Category: documentation
Monitored by: wagerlabs @hcarty
Bug description
The documentation does not warn strongly enough about using Extract_exception on exception results before calling a function that can trigger a GC.
For reference see the discussion on the mailing list:
https://sympa-roc.inria.fr/wws/arc/caml-list/2012-05/msg00003.html
The attached patch includes a warning and an example to this purpose.
File attachments
The text was updated successfully, but these errors were encountered: