aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/future.mli
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-10-13 11:40:22 +0200
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-10-18 20:11:14 +0200
commitc8b57f62f5ad12f8926f57fcdbc5bb2ee3c63eff (patch)
tree2db781cc2a505a805fc53abac8d422b1192aef1e /lib/future.mli
parentc70ee60ed1603658eb33f4ae39b1a0be81bf45c6 (diff)
Miscellaneous typos, spacing, US spelling in comments or variable names.
Diffstat (limited to 'lib/future.mli')
-rw-r--r--lib/future.mli4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/future.mli b/lib/future.mli
index de2282ae9..adc15e49c 100644
--- a/lib/future.mli
+++ b/lib/future.mli
@@ -91,13 +91,13 @@ val from_here : ?fix_exn:fix_exn -> 'a -> 'a computation
* When a future enters the environment a corresponding hook is run to perform
* some work. If this fails, then its failure has to be annotated with the
* same state id that corresponds to the future computation end. I.e. Qed
- * is split into two parts, the lazy one (the future) and the eagher one
+ * is split into two parts, the lazy one (the future) and the eager one
* (the hook), both performing some computations for the same state id. *)
val fix_exn_of : 'a computation -> fix_exn
(* Run remotely, returns the function to assign.
If not blocking (the default) it raises NotReady if forced before the
- delage assigns it. *)
+ delegate assigns it. *)
type 'a assignement = [ `Val of 'a | `Exn of Exninfo.iexn | `Comp of 'a computation]
val create_delegate :
?blocking:bool -> name:string ->