Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005767OCamlOCaml otherlibspublic2012-09-26 10:512012-09-29 22:28
Reportergarrigue 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version4.00.2+dev 
Target VersionFixed in Version 
Summary0005767: Feature wish: a way to know at runtime which version of the thread library
DescriptionOCaml has two thread libraries, systhreads and vmthreads.
One has to choose between the two at compile time, but they are essentially compatible.
However, they do have different behavior with respect to callbacks for instance.
My first wish would be a library function that tells which library is used, so that
one could write code compatible with both.
If this is granted, my second wish would be cmi compatibility between these two libraries,
so that one could choose which one to use at link time (small extra comfort).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008176)
doligez (administrator)
2012-09-29 22:28

Correct me if I'm wrong, but in order to be able to choose at link time (rather than compile time), the MD5 of the cmi files must be the same, which is a really strong constraint. Essentially, the two mli files must be identical.

- Issue History
Date Modified Username Field Change
2012-09-26 10:51 garrigue New Issue
2012-09-29 22:28 doligez Note Added: 0008176
2012-09-29 22:28 doligez Status new => confirmed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker