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

Better error message when id is unbound in `make-env'.

Browse Source 
original commit: 11167aa21428833fe2dbbb33301d9c7e43544e8b
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-15 17:56:50 -04:00
parent 14d059022a
commit ab46be4998
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-scheme/utils/tc-utils.rkt
View File

@ -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]