From 4119fab3ff8733de85bd49d0c27b9751909b0dec Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Tue, 12 Mar 2013 16:52:41 -0400
Subject: [PATCH] Tests for define/contract and keyword interaction.

---
 collects/tests/racket/contract-test.rktl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl
index fd240d5bfa..6519140f0c 100644
--- 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")
 
 ;
 ;