From 9945b9db993dead804cfa20c0c8fffd144b3abee Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 17 Jan 2025 14:16:19 +0100
Subject: [PATCH] [Kernel] Lint
---
src/libraries/monads/composition.ml | 8 ++++----
src/libraries/monads/composition.mli | 4 ++--
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/libraries/monads/composition.ml b/src/libraries/monads/composition.ml
index 0364320faf..06a2eb8214 100644
--- a/src/libraries/monads/composition.ml
+++ b/src/libraries/monads/composition.ml
@@ -29,20 +29,20 @@ module Make
(Int : Monad.S)
(Ext : Monad.S)
(X : Axiom with type 'a interior = 'a Int.t and type 'a exterior = 'a Ext.t)
-= Monad.Make_based_on_map (struct
+ = Monad.Make_based_on_map (struct
type 'a t = 'a Int.t Ext.t
let return x = Ext.return (Int.return x)
let map f m = Ext.map (Int.map f) m
let flatten m = Ext.map X.swap m |> Ext.flatten |> Ext.map Int.flatten
-end)
+ end)
module Make_with_product
(Int : Monad.S_with_product) (Ext : Monad.S_with_product)
(X : Axiom with type 'a interior = 'a Int.t and type 'a exterior = 'a Ext.t)
-= Monad.Make_based_on_map_with_product (struct
+ = Monad.Make_based_on_map_with_product (struct
type 'a t = 'a Int.t Ext.t
let return x = Ext.return (Int.return x)
let map f m = Ext.map (Int.map f) m
let flatten m = Ext.map X.swap m |> Ext.flatten |> Ext.map Int.flatten
let product l r = Ext.product l r |> Ext.map (fun (l, r) -> Int.product l r)
-end)
+ end)
diff --git a/src/libraries/monads/composition.mli b/src/libraries/monads/composition.mli
index 33afc243e6..3c99b987cd 100644
--- a/src/libraries/monads/composition.mli
+++ b/src/libraries/monads/composition.mli
@@ -29,10 +29,10 @@ module Make
(Int : Monad.S)
(Ext : Monad.S)
(_ : Axiom with type 'a interior = 'a Int.t and type 'a exterior = 'a Ext.t)
-: Monad.S with type 'a t = 'a Int.t Ext.t
+ : Monad.S with type 'a t = 'a Int.t Ext.t
module Make_with_product
(Int : Monad.S_with_product)
(Ext : Monad.S_with_product)
(_ : Axiom with type 'a interior = 'a Int.t and type 'a exterior = 'a Ext.t)
-: Monad.S_with_product with type 'a t = 'a Int.t Ext.t
+ : Monad.S_with_product with type 'a t = 'a Int.t Ext.t
--
GitLab