From 98041625b841bad9bdc37329279cf84c2e9701b3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 10 Feb 2014 17:41:01 +0100 Subject: STM: fix valid_id coming from Qed errors --- lib/future.mli | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lib/future.mli') diff --git a/lib/future.mli b/lib/future.mli index 4f27767ba..4dca2f144 100644 --- a/lib/future.mli +++ b/lib/future.mli @@ -111,7 +111,9 @@ val chain : ?greedy:bool -> pure:bool -> val force : 'a computation -> 'a val compute : 'a computation -> 'a value -(* Final call, no more *inpure* chain allowed since the state is lost *) +(* Final call, no more *inpure* chain allowed since the state is lost. + * Also the fix_exn function is lost, hence error reporting can be incomplete + * in a computation obtained by chaining on a joined future. *) val join : 'a computation -> 'a (*** Utility functions ************************************************* ***) -- cgit v1.2.3