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

fix provide generation

Browse Source 
svn: r9260
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-11 18:52:03 +00:00
parent 3b09127a48
commit d54d301db3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/private/provide-handling.ss
View File

@ -72,7 +72,7 @@
(if (unbox typed-context?) (if (unbox typed-context?)
(make-rename-transformer #'id) (make-rename-transformer #'id)
(lambda (stx) (tc-error/stx stx "The type of ~a cannot be converted to a contract" (syntax-e #'id))))) (lambda (stx) (tc-error/stx stx "The type of ~a cannot be converted to a contract" (syntax-e #'id)))))
(provide (rename export-id out-id))))])))] (provide (rename-out [export-id out-id]))))])))]
[(mem? internal-id stx-defs) [(mem? internal-id stx-defs)
=> =>
(lambda (b) (lambda (b)
@ -85,10 +85,10 @@
(make-rename-transformer #'id) (make-rename-transformer #'id)
(lambda (stx) (lambda (stx)
(tc-error/stx stx "Macro ~a from typed module used in untyped code" (syntax-e #'out-id))))) (tc-error/stx stx "Macro ~a from typed module used in untyped code" (syntax-e #'out-id)))))
(provide (rename export-id out-id))))))] (provide (rename-out [export-id out-id]))))))]
[(eq? (syntax-e internal-id) (syntax-e external-id)) [(eq? (syntax-e internal-id) (syntax-e external-id))
#`(provide #,internal-id)] #`(provide #,internal-id)]
[else #`(provide (rename #,internal-id #,external-id))])) [else #`(provide (rename-out [#,internal-id #,external-id]))]))
(kernel-syntax-case form #f (kernel-syntax-case form #f
[(#%provide form ...) [(#%provide form ...)
(map (map