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

Not sure whether we want just a simple rename transformer for non-contracted

Browse Source 
ids or whether we really want a set! transformer that still disallows set!ing.
Hmm.

svn: r13090
This commit is contained in:
Stevie Strickland 2009-01-13 19:41:52 +00:00
parent 909dd82f7c
commit 1cede752f9
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -267,11 +267,14 @@ improve method arity mismatch contract violation error messages?
marked-body ... marked-body ...
contract-def ... contract-def ...
#,@(map (λ (p c) #,@(map (λ (p c)
#`(define-syntax #,p (if c
(make-with-contract-transformer #`(define-syntax #,p
(quote-syntax #,(if c (marker c) c)) (make-with-contract-transformer
(quote-syntax #,(marker p)) (quote-syntax #,(marker c))
blame-str))) (quote-syntax #,(marker p))
blame-str))
#`(define-syntax #,p
(make-rename-transformer #,(marker p)))))
protected-ids contracts) protected-ids contracts)
)))))] )))))]
[(_ #:type type blame (arg ...) body0 body ...) [(_ #:type type blame (arg ...) body0 body ...)