MantisBT - OCaml
View Issue Details
0005606OCamldocumentationpublic2012-05-03 11:182013-08-31 12:49
alexey.rodriguez 
meyer 
normalmajoralways
closedfixed 
x86_64Ubuntu11.10
3.12.1 
 
0005606: Documentation should warn about using Extract_exception before letting GC run in C code
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.
No tags attached.
patch warning_exception.patch (1,205) 2012-05-03 11:18
https://caml.inria.fr/mantis/file_download.php?file_id=653&type=bug
Issue History
2012-05-03 11:18alexey.rodriguezNew Issue
2012-05-03 11:18alexey.rodriguezFile Added: warning_exception.patch
2012-05-04 02:20meyerAssigned To => meyer
2012-05-04 02:20meyerStatusnew => assigned
2012-05-04 20:06meyerNote Added: 0007414
2012-05-04 20:07meyerStatusassigned => resolved
2012-05-04 20:07meyerResolutionopen => fixed
2013-08-31 12:49xleroyStatusresolved => closed
2017-02-23 16:35doligezCategoryOCaml documentation => Documentation
2017-02-23 16:44doligezCategoryDocumentation => documentation

Notes
(0007414)
meyer   
2012-05-04 20:06   
Thanks, patch (with minor modifications) has been applied as r12431.