diff --git a/collects/typed-scheme/utils/require-contract.ss b/collects/typed-scheme/utils/require-contract.ss index 266f7e62..8d71a4d1 100644 --- a/collects/typed-scheme/utils/require-contract.ss +++ b/collects/typed-scheme/utils/require-contract.ss @@ -1,9 +1,12 @@ #lang scheme/base -(require scheme/contract (for-syntax scheme/base syntax/kerncase - syntax/parse - "../utils/tc-utils.ss" - (prefix-in tr: "../private/typed-renaming.ss"))) +(require scheme/contract + unstable/location + (for-syntax scheme/base + syntax/kerncase + syntax/parse + "../utils/tc-utils.ss" + (prefix-in tr: "../private/typed-renaming.ss"))) (provide require/contract define-ignored) @@ -19,7 +22,7 @@ (define name #,(syntax-property #'e* 'inferred-name (syntax-e #'name))))] - [(begin (begin e)) + [(begin e) #`(define name #,(syntax-property #'e 'inferred-name (syntax-e #'name)))])])) @@ -42,7 +45,8 @@ (get-alternate nm.r) '(interface for #,(syntax->datum #'nm)) 'never-happen - (quote-syntax nm))))] + (quote nm) + (quote-srcloc nm))))] [(require/contract (orig-nm:renameable nm:id) cnt lib) #`(begin (require (only-in lib [orig-nm orig-nm.r])) (define-ignored nm @@ -50,4 +54,5 @@ (get-alternate orig-nm.r) '#,(syntax->datum #'nm) 'never-happen - (quote-syntax nm))))])) + (quote nm) + (quote-srcloc nm))))]))