From 72effc076d0bbc0934797e3126b7ec573286f578 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 28 Apr 2008 21:21:27 +0000 Subject: [PATCH] Add matthew's test case. svn: r9518 --- collects/typed-scheme/private/unit-utils.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/unit-utils.ss b/collects/typed-scheme/private/unit-utils.ss index 24a6c7ed1b..c8354e2549 100644 --- a/collects/typed-scheme/private/unit-utils.ss +++ b/collects/typed-scheme/private/unit-utils.ss @@ -85,7 +85,7 @@ ;; Tests - +#| (define-signature x^ (x)) (define-signature y^ (y)) (define-signature z^ (z)) @@ -103,6 +103,11 @@ (define z 45) (define-values/link-units/infer (export x^) x@ y@) +|# +(define-signature y^ (y)) + (define-unit x@ (import y^) (export)) + (define-unit z@ (import y^) (export)) + (define-values/link-units/infer x@ z@) ;(define-values/link-units/infer x@ y@)