first check t1 == t2 in Types.eq_type

ocaml · Jun 4, 2021 · aa6840a · aa6840a
1 parent 9d866b5
commit aa6840a
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 ****)