| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
module)
For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
|
| |
|
|
|
|
| |
This commit also completes 74bd95d10b9f4cccb4bd5b855786c444492b201b
|
| |
|
|
|
|
|
|
| |
The interesting manifestation of the bug was Unix.select
returning no error but the empty list of descriptors, as if
a timeout did happen.
|
|
|
|
|
|
| |
According to http://caml.inria.fr/mantis/view.php?id=5325
you can't use the same socket for both writing and reading.
The result is lockups (may be fixed in 4.03).
|
| |
|
|
|
|
| |
removing the need of thread creation in the interface.
|
| |
|
|
|
|
| |
non-ML applications. Control channel can be also ignored.
|
|
|
|
| |
Moreover, cleanup of System.connect (used by the "external" tactic).
|
|
The Spawn and Spawned modules factor the operation of spawning
a process. Both synchronous and asynchronous channels are supported.
Both threaded and glib like main loop models are supported. Still,
not all combinations are truly tested not equipped with a decent API:
only async + glib and sync + thread are, since these are the models we
use for coqide<->coqtop and coqtop<->worker respectively.
|