Skip to content

Commit

Permalink
[typer] don't ignore Context.resolveType errors in display
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Sep 4, 2024
1 parent 3b050f0 commit 25adf17
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions src/typing/typeload.ml
Original file line number Diff line number Diff line change
Expand Up @@ -644,9 +644,7 @@ and load_complex_type ctx allow_display mode (t,pn) =
if Diagnostics.error_in_diagnostics_run ctx.com err.err_pos then begin
delay ctx.g PForce (fun () -> DisplayToplevel.handle_unresolved_identifier ctx name err.err_pos true);
t_dynamic
end else if ignore_error ctx.com && not (DisplayPosition.display_position#enclosed_in pn) then
t_dynamic
else
end else
raise (Error err)

and init_meta_overloads ctx co cf =
Expand Down

0 comments on commit 25adf17

Please sign in to comment.