From f6d571db407afe949e7d81f412e4bfc0f66d0044 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 16 Jan 2009 20:46:39 +0000 Subject: [PATCH] Add a test that involves blame on a non-unit entity. svn: r13182 --- collects/tests/units/test-unit-contracts.ss | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/collects/tests/units/test-unit-contracts.ss b/collects/tests/units/test-unit-contracts.ss index dd5f04de6f..4b355450b5 100644 --- a/collects/tests/units/test-unit-contracts.ss +++ b/collects/tests/units/test-unit-contracts.ss @@ -152,3 +152,13 @@ (test-runtime-error exn:fail:contract? "unit9-1 provides wrong value for function f" (invoke-unit unit9)) + +(define-values/invoke-unit + (unit + (import) (export sig2) + (define f values)) + (import) + (export sig2)) + +(test-runtime-error exn:fail:contract? "top-level misuses f" + (f #t))