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