Remove type signature from Reserr.fold_left implementation

n-osborne · Sep 5, 2024 · 4f35a57 · 4f35a57
1 parent 6986b9d
commit 4f35a57
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/plugins/qcheck-stm/src/reserr.ml b/plugins/qcheck-stm/src/reserr.ml
@@ -327,8 +327,7 @@ let promote_opt r =
       let* _ = warns ws and* _ = filter_errs errs in
       ok None
 
-let rec fold_left (f : 'a -> 'b -> 'a reserr) (acc : 'a) : 'b list -> 'a reserr
-    = function
+let rec fold_left f acc = function
   | [] -> ok acc
   | x :: xs -> (
       match f acc x with