Add a test that involves blame on a non-unit entity.

svn: r13182
2009-01-16 20:46:39 +00:00 · 2009-01-16 20:46:39 +00:00 · f6d571db40
commit f6d571db40
parent 39d9cfbb0a
1 changed files with 10 additions and 0 deletions
--- 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))