From 12110acfe3842f99703878eabc121320f028ccaf Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Thu, 12 Feb 2009 00:49:56 +0000 Subject: [PATCH] Add test for non-unit check. svn: r13526 --- collects/tests/units/test-unit-contracts.ss | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/tests/units/test-unit-contracts.ss b/collects/tests/units/test-unit-contracts.ss index 859668c181..c6548a2676 100644 --- a/collects/tests/units/test-unit-contracts.ss +++ b/collects/tests/units/test-unit-contracts.ss @@ -592,4 +592,10 @@ (unit/c (import) (export)) (unit (import sig1) (export) (+ x 1))) bad-import@)) - \ No newline at end of file + +(test-runtime-error exn:fail:contract? "value is not a unit" + (let () + (define/contract not-a-unit + (unit/c (import) (export)) + 3) + not-a-unit))