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

Fix p/c handling of rename.

Browse Source 
svn: r14651

original commit: ea03a751137b4be3865258840f84527fd80dcb52
This commit is contained in:
Sam Tobin-Hochstadt 2009-04-29 14:35:26 +00:00
parent fa0e28678a
commit 89ea60ce9b
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/typed-scheme/utils/utils.ss
View File

@ -266,7 +266,7 @@ at least theoretically.
(define (extend s t extra)
(append t (build-list (- (length s) (length t)) (lambda _ extra))))
(define-for-syntax enable-contracts? #t)
(define-for-syntax enable-contracts? #f)
(provide (for-syntax enable-contracts?) p/c w/c cnt d-s/c d/c)
(define-syntax p/c
@ -274,11 +274,12 @@ at least theoretically.
(make-rename-transformer #'provide/contract)
(lambda (stx)
(define-syntax-class clause
#:literals (rename)
#:literals ()
#:attributes (i)
(pattern [rename out:id in:id]
#:with i #'(rename-out out in))
(pattern [i:id c]))
(pattern [rename out:id in:id cnt:expr]
#:when (eq? (syntax-e #'rename) 'rename)
#:with i #'(rename-out [out in]))
(pattern [i:id cnt:expr]))
(syntax-parse stx
[(_ c:clause ...)
#'(provide c.i ...)]))))