original commit: a8702f210da9692fc1406b71020233c7e1e8b5af
This commit is contained in:
Matthew Flatt 2000-05-04 13:50:56 +00:00
parent 69b33e06e7
commit 645ee1fed0
2 changed files with 5 additions and 0 deletions

View File

@ -77,6 +77,8 @@
(U b))])
(export))))
(error-test '(invoke-unit (unit (import not-defined) (export) 10) not-defined) exn:unit?)
(unless (defined? 'test-global-var)
(let ()
(define test-global-var 5)

View File

@ -131,6 +131,9 @@
U)])
(export))))
(define-signature not-defined^ (not-defined))
(error-test '(invoke-unit/sig (unit/sig () (import not-defined^) 10) not-defined^) exn:unit?)
(test #t unit/sig? (unit/sig a (import)))
(test #t unit/sig? (unit/sig b (import) (define x 1) (define y 2)))
(test #t unit/sig? (unit/sig a (import (i : b)) i:x))