|Anonymous | Login | Signup for a new account||2016-02-07 18:29 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005767||OCaml||OCaml otherlibs||public||2012-09-26 10:51||2012-09-29 22:28|
|Priority||normal||Severity||feature||Reproducibility||have not tried|
|Target Version||Fixed in Version|
|Summary||0005767: Feature wish: a way to know at runtime which version of the thread library|
|Description||OCaml 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).
|Tags||No tags attached.|
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.
|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|