0005767: Feature wish: a way to know at runtime which version of the thread library

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005767

OCaml

OCaml otherlibs

public

2012-09-26 10:51

2012-09-29 22:28

Reporter

garrigue

Assigned To

Priority

normal

Severity

feature

Reproducibility

have not tried

Status

confirmed

Resolution

open

Platform

OS Version

Product Version

4.00.2+dev

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.

Attached Files

Relationships

Notes
(0008176) doligez (manager) 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