A relocated prelude refusal's note says only that the refusal is there, since the notes before it name which body

2026-09-25 16:23:19 +07:00 · 2026-09-25 16:23:19 +07:00 · 730730a1a7
commit 730730a1a7
parent b51b7d0a53
1 changed files with 1 additions and 1 deletions
--- a/lib/check.ml
+++ b/lib/check.ml
@ -12074,7 +12074,7 @@ and instantiate env loc gname vars subst cparams cret =
                   notes =
                     d.Loc.notes
                     @ [ Loc.note d.Loc.dloc
-                           (Printf.sprintf "in %s's body, in the prelude" gname) ];
+                           "the refusal is here, in the prelude" ];
                   expansion = None })
          | Loc.Error d when d.Loc.dloc <> loc ->
            Loc.Error