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

provide/contract now grabs the source locations from the identifiers that have contracts, not some other part of itself

Browse Source 
svn: r4187
This commit is contained in:
Robby Findler 2006-08-29 13:14:33 +00:00
parent f5fcc1ddec
commit d9ac9270a8
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/mzlib/private/contract.ss
View File

@ -82,8 +82,7 @@ add struct contracts for immutable structs?
(define-for-syntax (make-provide/contract-transformer contract-id id pos-module-source)
(make-set!-transformer
(λ (stx)
(with-syntax ([neg-stx (datum->syntax-object stx 'here)]
[contract-id contract-id]
(with-syntax ([contract-id contract-id]
[id id]
[pos-module-source pos-module-source])
(syntax-case stx (set!)
@ -92,24 +91,24 @@ add struct contracts for immutable structs?
"cannot set! provide/contract identifier"
stx
(syntax _))]
[(_ arg ...)
[(name arg ...)
(syntax
((begin-lifted
(-contract contract-id
id
pos-module-source
(module-source-as-symbol #'neg-stx)
(module-source-as-symbol #'name)
(quote-syntax _)))
arg
...))]
[_
(identifier? (syntax _))
[name
(identifier? (syntax name))
(syntax
(begin-lifted
(-contract contract-id
id
pos-module-source
(module-source-as-symbol #'neg-stx)
(module-source-as-symbol #'name)
(quote-syntax _))))])))))
;; (define/contract id contract expr)
@ -561,7 +560,7 @@ add struct contracts for immutable structs?
[pos-module-source (a:mangle-id provide-stx
"provide/contract-pos-module-source"
(or user-rename-id id))]
[pos-stx (datum->syntax-object provide-stx 'here)]
[pos-stx (datum->syntax-object id 'here)]
[id id]
[ctrct (syntax-property ctrct 'inferred-name id)]
[external-name (or user-rename-id id)]