lib_lwt_result/ocaml: Add injectivity annotations

See ocaml/ocaml#9500 for the introduction of the breaking change within OCaml.
ocaml-multicore · Jun 9, 2021 · 2bddf9f · 2bddf9f
1 parent 707c223
commit 2bddf9f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/lib_lwt_result_stdlib/bare/functor_outputs/hashtbl.ml b/src/lib_lwt_result_stdlib/bare/functor_outputs/hashtbl.ml
@@ -34,7 +34,7 @@
 module type S = sig
   type key
 
-  type 'a t
+  type !'a t
 
   module Legacy : Stdlib.Hashtbl.S with type key = key and type 'a t = 'a t
 
@@ -123,7 +123,7 @@ end
 module type SeededS = sig
   type key
 
-  type 'a t
+  type !'a t
 
   module Legacy :
     Stdlib.Hashtbl.SeededS with type key = key and type 'a t = 'a t

diff --git a/src/lib_lwt_result_stdlib/bare/functor_outputs/map.ml b/src/lib_lwt_result_stdlib/bare/functor_outputs/map.ml
@@ -34,7 +34,7 @@
 module type S = sig
   type key
 
-  type +'a t
+  type +!'a t
 
   module Legacy : Stdlib.Map.S with type key = key and type 'a t = 'a t