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

Appropriately check the context.

Browse Source 
svn: r11693
This commit is contained in:
Stevie Strickland 2008-09-12 18:17:40 +00:00
parent 3b44bca1d5
commit b309ced851
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/scheme/private/contract.ss
View File

@ -79,6 +79,10 @@ improve method arity mismatch contract violation error messages?
;; defines `id' with `contract'; initially binding ;; defines `id' with `contract'; initially binding
;; it to the result of `expr'. These variables may not be set!'d. ;; it to the result of `expr'. These variables may not be set!'d.
(define-syntax (define/contract define-stx) (define-syntax (define/contract define-stx)
(when (eq? (syntax-local-context) 'expression)
(raise-syntax-error 'define/contract
"used in expression context"
define-stx))
(syntax-case define-stx () (syntax-case define-stx ()
[(_ name contract-expr) [(_ name contract-expr)
(raise-syntax-error 'define/contract (raise-syntax-error 'define/contract
@ -185,6 +189,10 @@ improve method arity mismatch contract violation error messages?
(car args))]))) (car args))])))
(define-syntax (with-contract stx) (define-syntax (with-contract stx)
(when (eq? (syntax-local-context) 'expression)
(raise-syntax-error 'with-contract
"used in expression context"
stx))
(syntax-case stx () (syntax-case stx ()
[(_ blame (arg ...) body0 body ...) [(_ blame (arg ...) body0 body ...)
(identifier? (syntax blame)) (identifier? (syntax blame))