Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006355OCamlOCaml documentationpublic2014-03-27 02:592014-05-30 12:35
Reporterdbuenzli 
Assigned Toshinwell 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version4.02.0+dev 
Summary0006355: Improve documentation of finalizers & multithreading
DescriptionIf I understand correctly there's no control on which thread a finalizer function is going to be called. This should be mentioned in the documentation of Gc.finalize.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011587)
shinwell (developer)
2014-05-30 12:35

Fixed in 4.02.

- Issue History
Date Modified Username Field Change
2014-03-27 02:59 dbuenzli New Issue
2014-05-30 12:35 shinwell Note Added: 0011587
2014-05-30 12:35 shinwell Status new => resolved
2014-05-30 12:35 shinwell Fixed in Version => 4.02.0+dev
2014-05-30 12:35 shinwell Resolution open => fixed
2014-05-30 12:35 shinwell Assigned To => shinwell


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker