test for PR 7518

svn: r528

original commit: 0a833c44c49141f3dcd214cd6ed86cb80f9f6fde
This commit is contained in:
Matthew Flatt 2005-08-01 22:27:57 +00:00
parent c3a6f7e51b
commit 3998bc5cfc

View File

@ -506,6 +506,24 @@
(rename (lambda l))
(define lambda 14)))
(test 9 'rename (let ()
(define-signature s (b))
(define-values/invoke-unit/sig s
(unit/sig s
(import)
(rename (a b))
(define a 9)))
b))
(test 10 'rename (let ()
(define-signature s (b))
(define-values/invoke-unit/sig s
(unit/sig s
(import)
(rename (a b))
(define a 10)
(define b 12)))
b))
; These are ok, too:
(test #t unit/sig? (unit/sig ()
(import (define))