From ef6a5c2e75f79a7328e32f4050d73fa5681355ea Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Tue, 27 Oct 2015 17:11:37 -0400
Subject: [PATCH] Add test case for match ordering bug.

---
 pkgs/racket-test/tests/match/examples.rkt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pkgs/racket-test/tests/match/examples.rkt b/pkgs/racket-test/tests/match/examples.rkt
index e9a0c97921..22cbee956e 100644
--- a/pkgs/racket-test/tests/match/examples.rkt
+++ b/pkgs/racket-test/tests/match/examples.rkt
@@ -801,5 +801,13 @@
      (check-equal? (match 42
                      [(foo) x])
                    42))
+
+   (test-case "ordering"
+     (define b (box #t))
+     (check-equal?
+      (match b
+        [(and x (? (λ _ (set-box! b #f))) (app unbox #f)) 'yes]
+        [_ 'no])
+      'yes))
    
 ))