From 16539f4de39b01638876fabcb046bc3c65f0df2a Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Mon, 4 Nov 2024 22:31:11 +0100 Subject: [PATCH] Added annotations needed by 5.3.0~beta1 --- src/trait0.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/trait0.ml b/src/trait0.ml index 67a7a73..e36b37f 100644 --- a/src/trait0.ml +++ b/src/trait0.ml @@ -22,8 +22,8 @@ module Create0 (X : sig struct type (_, _) ext += T : ('a X.t, X.module_type) ext - let same_witness (type m2) t2 : (X.module_type, m2) Type_eq_opt.t = - match (t2 : (_ X.t, m2) ext) with + let same_witness (type a m2) t2 : (X.module_type, m2) Type_eq_opt.t = + match (t2 : (a X.t, m2) ext) with | T -> Type_eq_opt.Equal | _ -> Not_equal ;; @@ -38,8 +38,8 @@ module Create1 (X : sig struct type (_, _) ext += T : (('a, 'b) X.t, 'a X.module_type) ext - let same_witness (type a m2) t2 : (a X.module_type, m2) Type_eq_opt.t = - match (t2 : ((a, _) X.t, m2) ext) with + let same_witness (type a b m2) t2 : (a X.module_type, m2) Type_eq_opt.t = + match (t2 : ((a, b) X.t, m2) ext) with | T -> Type_eq_opt.Equal | _ -> Not_equal ;; @@ -54,8 +54,8 @@ module Create2 (X : sig struct type (_, _) ext += T : (('a, 'b, 'c) X.t, ('a, 'b) X.module_type) ext - let same_witness (type a b m2) t2 : ((a, b) X.module_type, m2) Type_eq_opt.t = - match (t2 : ((a, b, _) X.t, m2) ext) with + let same_witness (type a b c m2) t2 : ((a, b) X.module_type, m2) Type_eq_opt.t = + match (t2 : ((a, b, c) X.t, m2) ext) with | T -> Type_eq_opt.Equal | _ -> Not_equal ;;