From 730730a1a7b1fe3b408765d122024668e84de9a5 Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Fri, 25 Sep 2026 16:23:19 +0700
Subject: [PATCH] A relocated prelude refusal's note says only that the refusal
 is there, since the notes before it name which body

---
 lib/check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/check.ml b/lib/check.ml
index d69941fc..c9c6a0df 100644
--- 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