Add test for non-unit check.

svn: r13526
2009-02-12 00:49:56 +00:00 · 2009-02-12 00:49:56 +00:00 · 12110acfe3
commit 12110acfe3
parent 12bbf258df
1 changed files with 7 additions and 1 deletions
--- 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@))
-            
+
+(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))