From ab46be4998facfbce7342c098b94b75ae1cdab14 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 15 Aug 2011 17:56:50 -0400 Subject: [PATCH] Better error message when id is unbound in `make-env'. original commit: 11167aa21428833fe2dbbb33301d9c7e43544e8b --- collects/typed-scheme/utils/tc-utils.rkt | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/collects/typed-scheme/utils/tc-utils.rkt b/collects/typed-scheme/utils/tc-utils.rkt index 5a7291e6..7b8b88db 100644 --- a/collects/typed-scheme/utils/tc-utils.rkt +++ b/collects/typed-scheme/utils/tc-utils.rkt @@ -194,10 +194,7 @@ don't depend on any other portion of the system #:transparent #:attributes (ty id) (pattern [nm:identifier ~! ty] - #:fail-unless (list? ((if (= 1 (syntax-local-phase-level)) - identifier-template-binding - identifier-template-binding) - #'nm)) + #:fail-when (and (not (list? (identifier-template-binding #'nm))) #'nm) "not a bound identifier" #:with id #'(quote-syntax nm)) (pattern [e:expr ty]