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

make provide/contract generate only one definition to bind the positive

Browse Source 
module name, instead of one per clause the in the provide/contract
declaration

do not include in 5.2
This commit is contained in:
Robby Findler 2011-10-17 07:24:43 -05:00
parent 2a43c68dd7
commit 1bedd9a9f6
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/racket/contract/private/provide.rkt
View File

@ -107,7 +107,7 @@
(syntax-case provide-stx ()
[(_ p/c-ele ...)
(let ()
;; ids : table[id -o> (listof id)]
;; code-for-each-clause adds identifiers to this map.
;; when it binds things; they are then used to signal
@ -678,9 +678,6 @@
(a:mangle-id provide-stx
"provide/contract-contract-id"
(or user-rename-id ex-id)))]
[pos-module-source (a:mangle-id provide-stx
"provide/contract-pos-module-source"
(or user-rename-id ex-id))]
[pos-stx (datum->syntax id 'here)]
[id id]
[ex-id ex-id]
@ -698,7 +695,6 @@
(syntax-property
(quasisyntax/loc stx
(begin
(define pos-module-source (quote-module-name))
#,@(if no-need-to-check-ctrct?
(list)
@ -775,6 +771,7 @@
(signal-dup-syntax-error)
(syntax
(begin
(define pos-module-source (quote-module-name))
bodies ...))))]))
(define-syntax (provide/contract stx)