7 commits

Author	SHA1	Message	Date
Simon Cruanes	85b3ca233b	target for documentation of some modules	2013-04-03 00:01:52 +02:00
Simon Cruanes	8be147c50b	added a timer in Future	2013-03-24 19:21:43 +01:00
Simon Cruanes	d74808efe0	small api change in future	2013-03-24 17:57:02 +01:00
Simon Cruanes	e6eb9a79eb	expose an optional Pool argument in most Future\'s combinators; ... handlers of a future are scheduled in pool rather than sequentially (to avoid possible deadlocks among them)	2013-03-21 10:15:35 +01:00
Simon Cruanes	08d33095f6	Future.sleep should take a float	2013-03-20 18:06:50 +01:00
Simon Cruanes	174f10e4f2	update of the thread pool. It is growable, up to a certain limit, and threads are cached; ... idle threads are killed after some (soft) time limit;	2013-03-20 17:53:49 +01:00
Simon Cruanes	772e6e6844	renamed Futures into Future	2013-03-20 15:27:44 +01:00

Renamed from futures.mli (Browse further)