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@)