From d7fe71a64b588530f2793dc0c7e481840c337394 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Tue, 19 Jan 2010 10:44:27 +0000 Subject: [PATCH] Updated typed scheme to use a module path for blame. svn: r17754 original commit: 87645ebd114088d1b1fb368df01c1ba2253eb90c --- collects/typed-scheme/typecheck/tc-toplevel.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-toplevel.ss b/collects/typed-scheme/typecheck/tc-toplevel.ss index 328123f6..9919da85 100644 --- a/collects/typed-scheme/typecheck/tc-toplevel.ss +++ b/collects/typed-scheme/typecheck/tc-toplevel.ss @@ -18,6 +18,7 @@ "def-binding.ss" (for-template "internal-forms.ss" + unstable/location mzlib/contract scheme/base)) @@ -257,7 +258,7 @@ ([the-variable-reference (generate-temporary #'blame)] [((new-provs ...) ...) (map (generate-prov stx-defs val-defs #'the-variable-reference) provs)]) #`(begin - (define the-variable-reference (#%variable-reference)) + (define the-variable-reference (quote-module-path)) #,(env-init-code) #,(tname-env-init-code) #,(talias-env-init-code)