From ce0b5fec2fd4b79abd049765c7580114cf1bc201 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 16 Jun 2007 17:29:19 +0000
Subject: [PATCH] added a test case for the bug Shu-yu just fixed

svn: r6675
---
 collects/tests/mzscheme/contract-test.ss | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 7d41af03e9..e554e17d44 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -3412,6 +3412,25 @@
                  [($ foo bar baz) #t]
                  [_ #f])))
       (eval '(require d-c-s-match1))))
+  
+  (test/spec-passed/result
+   'd-c-s-match2
+   '(begin
+      (eval '(module d-c-s-match2 mzscheme
+               (require (lib "contract.ss")
+                        (lib "match.ss"))
+               
+               (define-contract-struct foo (bar baz))
+               
+               (provide d-c-s-match2-f1)
+               (define d-c-s-match2-f1
+                 (match (make-foo 'first 'second)
+                   [($ foo bar baz) (list bar baz)]
+                   [_ #f]))))
+      (eval '(require d-c-s-match2))
+      (eval 'd-c-s-match2-f1))
+   '(first second))
+   
 
   
   (test/pos-blame 'd-c-s1