From 0a833c44c49141f3dcd214cd6ed86cb80f9f6fde Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 1 Aug 2005 22:27:57 +0000 Subject: [PATCH] test for PR 7518 svn: r528 --- collects/tests/mzscheme/unitsig.ss | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/collects/tests/mzscheme/unitsig.ss b/collects/tests/mzscheme/unitsig.ss index 32ffc8a0b5..bb2fb2f51b 100644 --- a/collects/tests/mzscheme/unitsig.ss +++ b/collects/tests/mzscheme/unitsig.ss @@ -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))