fixed PR 8166
svn: r3701
This commit is contained in:
parent
454a6fa619
commit
73ce86e94b
|
@ -568,10 +568,6 @@ add struct contracts for immutable structs?
|
|||
(define pos-module-source (module-source-as-symbol #'pos-stx))
|
||||
(define contract-id ctrct)
|
||||
|
||||
;(if #f id)
|
||||
; syntax-local-lift
|
||||
;(check-first-order contract-id id #'pos-stx) ;; we'd like to use this ...
|
||||
|
||||
(define-syntax id-rename
|
||||
(make-provide/contract-transformer (quote-syntax contract-id)
|
||||
(quote-syntax id)
|
||||
|
@ -579,7 +575,7 @@ add struct contracts for immutable structs?
|
|||
|
||||
(syntax-local-lift-module-end-declaration
|
||||
#'(begin
|
||||
(-contract contract-id id pos-module-source 'ignored #'pos-stx)
|
||||
(-contract contract-id id pos-module-source 'ignored #'id)
|
||||
(void)))
|
||||
|
||||
(syntax (code id-rename)))))
|
||||
|
|
|
@ -4509,6 +4509,16 @@
|
|||
(eval '(require neg))))
|
||||
|
||||
|
||||
(error-test
|
||||
#'(parameterize ([current-namespace (make-namespace)])
|
||||
(eval '(module bug mzscheme
|
||||
(require (lib "contract.ss"))
|
||||
(define the-defined-variable 'five)
|
||||
(provide/contract [the-defined-variable number?])))
|
||||
(eval '(require bug)))
|
||||
(λ (x)
|
||||
(and (exn? x)
|
||||
(regexp-match #rx"on the-defined-variable" (exn-message x)))))
|
||||
|
||||
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user