From c5a6ddc10004a09b1e44be1293708a9cad016cec Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Wed, 21 Feb 2024 13:15:49 +0100 Subject: [PATCH] [filters] bind unbound monomorphs to Any instead of Dynamic --- src/filters/filters.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/filters/filters.ml b/src/filters/filters.ml index fa31925f4d2..c36464ca364 100644 --- a/src/filters/filters.ml +++ b/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)