svn: r9802
This commit is contained in:
Robby Findler 2008-05-11 02:14:15 +00:00
parent 60ca977d19
commit 9afde2887c

View File

@ -81,9 +81,9 @@
(capability-value
(->d ([s (and/c symbol?
drscheme:language:get-capability-contract)])
drscheme:language:capability-registered?)])
()
[res (drscheme:language:capability-registered? s)]))))])
[res (drscheme:language:get-capability-contract s)]))))])
#`(begin
(define id (reconstitute #,ctc provide?))
#,@(if (syntax-e #'provide?)