We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 05fc7f7 commit f8ab869Copy full SHA for f8ab869
lib/picos/intf.ocaml5.ml
@@ -142,8 +142,8 @@ module type Fiber = sig
142
not spawn a new fiber. If cancelation happens during the handling of
143
{!Spawn} the scheduler is free to either spawn a new fiber, in which case
144
the current fiber must be continued normally, or not spawn a fiber, in
145
- which case the current fibers must be discontinued, i.e. {!spawn} raises
146
- an exception.
+ which case the current fiber must be discontinued, i.e. {!spawn} raises an
+ exception.
147
148
⚠️ The scheduler should guarantee that, when the {!Spawn} handler continues
149
the fiber normally, the given [main] will eventually be called by the
0 commit comments