Tests for define/contract and keyword interaction.

2013-03-12 16:52:41 -04:00 · 2013-03-12 16:52:41 -04:00 · 4119fab3ff
commit 4119fab3ff
parent 6aab2f1445
1 changed files with 15 additions and 0 deletions
--- a/collects/tests/racket/contract-test.rktl
+++ b/collects/tests/racket/contract-test.rktl
@ -5040,7 +5040,22 @@
      1)
   "top-level")

+  (test/spec-passed
+   'define/contract
+   '(let ()
+      (define/contract (f x #:y [y 3])
+        (->* (integer?) (#:y integer?) integer?)
+        x)
+      (f 3 #:y 7)))

+  (test/spec-failed
+   'define/contract
+   '(let ()
+      (define/contract (f x #:y [y 3])
+        (->* (integer?) (#:y integer?) integer?)
+        x)
+      (f 3 #:y #f))
+   "top-level")

 ;
 ;