Browse Source

[filters] bind unbound monomorphs to Any instead of Dynamic

Rudy Ges 1 year ago
parent
commit
271043e289
1 changed files with 2 additions and 2 deletions
  1. 2 2
      src/filters/filters.ml

+ 2 - 2
src/filters/filters.ml

@@ -535,8 +535,8 @@ let update_cache_dependencies ~close_monomorphs com t =
 				| Some t ->
 					check_t m t
 				| _ ->
-					(* Bind any still open monomorph that's part of a signature to Dynamic now (issue #10653) *)
-					if close_monomorphs then Monomorph.do_bind r t_dynamic
+					(* Bind any still open monomorph that's part of a signature to Any now (issue #10653) *)
+					if close_monomorphs then Monomorph.do_bind r com.basic.tany;
 		end
 		| TLazy f ->
 			check_t m (lazy_type f)