Skip to content

Commit

Permalink
[filters] bind unbound monomorphs to Any instead of Dynamic
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Feb 22, 2024
1 parent f51e6c8 commit c5a6ddc
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/filters/filters.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit c5a6ddc

Please sign in to comment.