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