On 22-10-14 22:49:46, Gabriel Scherer wrote:
> If I understand correctly, you are asking about cancellation for Domainslib
> tasks, specifically for Task.parallel_for.

Hello,

Not only, parallel_for does not seem to even transmit the exception.
But yes, it should also cancel the useless computation.

In fact, what I really need are parallel exists and for_all.

> (I would have created an issue against Domainslib to ask. Interestingly, I can
> find only one vague mention of cancellation there,
>   https://github.com/ocaml-multicore/domainslib/pull/51#discussion_r729296762
> )

I added an issue...

Cheers,
Christophe



--
Christophe Raffalli
tél: +689 87 23 11 48
web: http://raffalli.eu