Converted provide.ss to use new contract form and deference variable-reference.
svn: r17716
This commit is contained in:
parent
124050d54e
commit
1014dd2da4
|
@ -52,8 +52,9 @@
|
|||
#`(contract contract-id
|
||||
id
|
||||
pos-module-source
|
||||
(#%variable-reference)
|
||||
#,(id->contract-src-info #'id))))))])
|
||||
(current-module-path)
|
||||
'id
|
||||
(quote-syntax id))))))])
|
||||
(when key
|
||||
(hash-set! saved-id-table key lifted-id))
|
||||
;; Expand to a use of the lifted expression:
|
||||
|
@ -652,7 +653,7 @@
|
|||
(with-syntax ([code
|
||||
(quasisyntax/loc stx
|
||||
(begin
|
||||
(define pos-module-source (#%variable-reference))
|
||||
(define pos-module-source (current-module-path))
|
||||
|
||||
#,@(if no-need-to-check-ctrct?
|
||||
(list)
|
||||
|
@ -669,7 +670,7 @@
|
|||
(syntax-local-lift-module-end-declaration
|
||||
#`(begin
|
||||
(unless extra-test
|
||||
(contract contract-id id pos-module-source 'ignored #,(id->contract-src-info #'id)))
|
||||
(contract contract-id id pos-module-source 'ignored 'id (quote-syntax id)))
|
||||
(void)))
|
||||
|
||||
(syntax (code id-rename))))))]))
|
||||
|
@ -702,7 +703,9 @@
|
|||
(contract ctc
|
||||
val
|
||||
'not-enough-info-for-blame
|
||||
'not-enough-info-for-blame))
|
||||
'not-enough-info-for-blame
|
||||
'#f
|
||||
'#f))
|
||||
ctcs
|
||||
vals)))))])
|
||||
struct:struct-name))
|
||||
|
|
Loading…
Reference in New Issue
Block a user