.
original commit: dd4c0c2ada2b0fa837737d541f008a9e7700c571
This commit is contained in:
parent
03b79ceb0d
commit
b86c77fd55
|
@ -72,7 +72,7 @@
|
|||
(U b))])
|
||||
(export))))
|
||||
|
||||
(error-test #'(invoke-unit (unit (import not-defined) (export) 10) not-defined) exn:variable?)
|
||||
(error-test #'(invoke-unit (unit (import not-defined) (export) 10) not-defined) exn:fail:contract:variable?)
|
||||
|
||||
(test #t unit? (unit (import) (export)))
|
||||
(test #t unit? (unit (import) (export) 5))
|
||||
|
|
|
@ -132,7 +132,7 @@
|
|||
(export))))
|
||||
|
||||
(define-signature not-defined^ (not-defined))
|
||||
(error-test #'(invoke-unit/sig (unit/sig () (import not-defined^) 10) not-defined^) exn:variable?)
|
||||
(error-test #'(invoke-unit/sig (unit/sig () (import not-defined^) 10) not-defined^) exn:fail:contract:variable?)
|
||||
|
||||
(test #t unit/sig? (unit/sig a (import)))
|
||||
(test #t unit/sig? (unit/sig b (import) (define x 1) (define y 2)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user