From bd1ada40d4277973cdb91601fc61e16e641b914f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 6 Jun 2023 23:34:06 -0400
Subject: [PATCH] Fut: add Infix_local

---
 src/fut.ml  | 4 +++-
 src/fut.mli | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/fut.ml b/src/fut.ml
index 9e093290..b4a1566c 100644
--- a/src/fut.ml
+++ b/src/fut.ml
@@ -329,10 +329,12 @@ end) : INFIX = struct
   let ( and* ) = both
 end
 
-include Infix_ (struct
+module Infix_local = Infix_ (struct
   let pool = None
 end)
 
+include Infix_local
+
 module Infix (X : sig
   val pool : Pool.t
 end) =
diff --git a/src/fut.mli b/src/fut.mli
index 4af74cd0..3fb34aab 100644
--- a/src/fut.mli
+++ b/src/fut.mli
@@ -141,8 +141,10 @@ module type INFIX = sig
   val ( and* ) : 'a t -> 'b t -> ('a * 'b) t
 end
 
+module Infix_local : INFIX
+(** Operators that run on the same thread as the first future. *)
+
 include INFIX
-(** Operators that run on the same thread *)
 
 (** Make infix combinators *)
 module Infix (_ : sig