From 8d967ceabf2ae806c050ea22621451191e11b1bb Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Fri, 23 Feb 2024 14:03:53 +0000
Subject: [PATCH] Executor_pool: mention requested weight in error message

Spotted by Yawar Amin.
---
 lib_eio/executor_pool.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib_eio/executor_pool.ml b/lib_eio/executor_pool.ml
index 82f7e650b..5ae853178 100644
--- a/lib_eio/executor_pool.ml
+++ b/lib_eio/executor_pool.ml
@@ -55,7 +55,7 @@ let create ~sw ~domain_count domain_mgr =
 
 let enqueue { queue } ~weight fn =
   if not (weight >= 0. && weight <= 1.) (* Handles NaN *)
-  then Fmt.invalid_arg "Executor_pool: weight not >= 0.0 && <= 1.0" weight
+  then Fmt.invalid_arg "Executor_pool: weight %g not >= 0.0 && <= 1.0" weight
   else (
     let weight = Float.to_int (weight *. max_capacity_f) in
     let p, w = Promise.create () in