From 45093b8a6bf4116254bb4931844a03fb8334b0ba Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 15 Apr 2020 12:54:30 -0400 Subject: [PATCH] Provide a distinguished source when reading in `codeblock`. Closes racket/racket#3102. --- scribble-lib/scribble/private/manual-code.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scribble-lib/scribble/private/manual-code.rkt b/scribble-lib/scribble/private/manual-code.rkt index e17b0779..065433c1 100644 --- a/scribble-lib/scribble/private/manual-code.rkt +++ b/scribble-lib/scribble/private/manual-code.rkt @@ -124,7 +124,9 @@ (loop (if (dont-stop? mode) (dont-stop-val mode) mode))))))] - [program-source 'prog] + ;; use a source that both identifies the original code + ;; and is unique wrt eq? as used below + [program-source (or context bstr)] [e (parameterize ([read-accept-reader #t]) ((or expand (lambda (stx)