Allow for contracts without having to require scheme/contract in the
scheme/signature language. svn: r17185
This commit is contained in:
parent
a9b6f0e575
commit
d97e18c9a6
|
@ -1,6 +1,7 @@
|
||||||
#lang scheme/base
|
#lang scheme/base
|
||||||
|
|
||||||
(require scheme/unit
|
(require scheme/unit
|
||||||
|
scheme/contract
|
||||||
(for-syntax scheme/base
|
(for-syntax scheme/base
|
||||||
mzlib/private/unit-compiletime
|
mzlib/private/unit-compiletime
|
||||||
mzlib/private/unit-syntax))
|
mzlib/private/unit-syntax))
|
||||||
|
@ -8,6 +9,7 @@
|
||||||
(provide (rename-out [module-begin #%module-begin])
|
(provide (rename-out [module-begin #%module-begin])
|
||||||
(except-out (all-from-out scheme/base) #%module-begin)
|
(except-out (all-from-out scheme/base) #%module-begin)
|
||||||
(all-from-out scheme/unit)
|
(all-from-out scheme/unit)
|
||||||
|
(all-from-out scheme/contract)
|
||||||
(for-syntax (all-from-out scheme/base)))
|
(for-syntax (all-from-out scheme/base)))
|
||||||
|
|
||||||
(define-for-syntax (make-name s)
|
(define-for-syntax (make-name s)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user