first check t1 == t2 in Types.eq_type

ocaml · Jun 24, 2021 · 10080b3 · 10080b3
1 parent 9f156d1
commit 10080b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/typing/types.ml b/typing/types.ml
@@ -557,7 +557,7 @@ end
 
 (* Comparison for [type_expr]; cannot be used for functors *)
 
-let eq_type t1 t2 = repr t1 == repr t2
+let eq_type t1 t2 = t1 == t2 || repr t1 == repr t2
 let compare_type t1 t2 = compare (get_id t1) (get_id t2)
 
 (**** Some type creators ****)