suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updated typed scheme to use a module path for blame.

Browse Source 
svn: r17754
This commit is contained in:
Carl Eastlund 2010-01-19 10:44:27 +00:00
parent 791178a549
commit 87645ebd11
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/typecheck/tc-toplevel.ss
View File

@ -18,6 +18,7 @@
"def-binding.ss" "def-binding.ss"
(for-template (for-template
"internal-forms.ss" "internal-forms.ss"
unstable/location
mzlib/contract mzlib/contract
scheme/base)) scheme/base))
@ -257,7 +258,7 @@
([the-variable-reference (generate-temporary #'blame)] ([the-variable-reference (generate-temporary #'blame)]
[((new-provs ...) ...) (map (generate-prov stx-defs val-defs #'the-variable-reference) provs)]) [((new-provs ...) ...) (map (generate-prov stx-defs val-defs #'the-variable-reference) provs)])
#`(begin #`(begin
(define the-variable-reference (#%variable-reference)) (define the-variable-reference (quote-module-path))
#,(env-init-code) #,(env-init-code)
#,(tname-env-init-code) #,(tname-env-init-code)
#,(talias-env-init-code) #,(talias-env-init-code)