mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
doc
This commit is contained in:
parent
9a598b1efc
commit
fa40cf8825
1 changed files with 2 additions and 2 deletions
|
|
@ -34,9 +34,9 @@ val make_promise : unit -> 'a promise
|
||||||
(** Same as {!make} but returns a single promise (which can be upcast to a
|
(** Same as {!make} but returns a single promise (which can be upcast to a
|
||||||
future). This is useful mostly to preserve memory.
|
future). This is useful mostly to preserve memory.
|
||||||
|
|
||||||
How to upcast to a future:
|
How to upcast to a future in the worst case:
|
||||||
{[let prom = Fut.make_promise();;
|
{[let prom = Fut.make_promise();;
|
||||||
let fut: _ Fut.t = (prom :> _ Fut.t)
|
let fut = (prom : _ Fut.promise :> _ Fut.t) ;;
|
||||||
]}
|
]}
|
||||||
@since NEXT_RELEASE *)
|
@since NEXT_RELEASE *)
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue