We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f7ec09c commit f02b855Copy full SHA for f02b855
lib/picos_structured/finally.ml
@@ -65,7 +65,8 @@ let ( let^ ) (release, acquire) body =
65
66
let[@inline never] check_no_resource () =
67
(* In case of cancelation this is not considered an error as the resource was
68
- (likely) released by the parent. *)
+ released by (the |an)other party involved in the move. Technically this
69
+ may hide a real bug where two fibers attempt to move the same resource. *)
70
Fiber.check (Fiber.current ());
71
invalid_arg "no resource to move"
72
0 commit comments