From 2681d0f43dbc3183bee721d6b9679338b5b685c7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 8 Apr 2008 17:42:13 +0000 Subject: [PATCH] Use contracts for def-binding. Better error messages from require/typed. svn: r9204 original commit: 909c20553d8c14901583bcaa9edd6674d60c2796 --- collects/typed-scheme/private/require-contract.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/require-contract.ss b/collects/typed-scheme/private/require-contract.ss index 265b06a2..a31bb1b8 100644 --- a/collects/typed-scheme/private/require-contract.ss +++ b/collects/typed-scheme/private/require-contract.ss @@ -18,4 +18,4 @@ (syntax-case stx () [(require/contract nm cnt lib) #`(begin (require (only-in lib [nm tmp])) - (define-ignored nm (contract cnt tmp '#,(syntax->datum #'nm) 'never-happen #'#,stx)))])) + (define-ignored nm (contract cnt tmp '#,(syntax->datum #'nm) 'never-happen (quote-syntax nm))))]))