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

use `make-provide/contract-transformer'

Browse Source 
svn: r16949
This commit is contained in:
Sam Tobin-Hochstadt 2009-11-21 22:21:36 +00:00
parent 750c971d07
commit 406b5c384d
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/typed-scheme/typecheck/provide-handling.ss
View File

@ -8,6 +8,8 @@
(private type-contract typed-renaming)
(rep type-rep)
(utils tc-utils)
scheme/contract/private/provide
unstable/syntax
"def-binding.ss")
(require (for-template scheme/base
@ -56,8 +58,19 @@
(cond [(type->contract (def-binding-ty b) (lambda () #f) #:out #t)
=>
(lambda (cnt)
(with-syntax ([(export-id cnt-id) (generate-temporaries #'(id id))])
(with-syntax ([(export-id cnt-id) (generate-temporaries #'(id id))]
[module-source (generate-temporary 'module-source)]
;; don't actually need to verify - this is generated
[the-contract (generate-temporary 'generated-contract)])
#`(begin
(define module-source (#%variable-reference))
(define the-contract #,cnt)
(define-syntax cnt-id
(make-provide/contract-transformer
(quote-syntax the-contract)
(quote-syntax id)
(quote-syntax module-source)))
#;
(define/contract cnt-id #,cnt id)
(define-syntax export-id
(if (unbox typed-context?)