From cb35383143e28ca0f743440ba54734a1750760ec Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Tue, 27 Oct 2015 17:11:15 -0400
Subject: [PATCH] Add test case for issue #215.

---
 typed-racket-test/succeed/match-or.rkt | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 typed-racket-test/succeed/match-or.rkt

diff --git a/typed-racket-test/succeed/match-or.rkt b/typed-racket-test/succeed/match-or.rkt
new file mode 100644
index 00000000..8fee31d5
--- /dev/null
+++ b/typed-racket-test/succeed/match-or.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket
+
+(: f : (Listof Integer) (Listof Integer) → Integer)
+(define (f xs ys)
+  (match* (xs ys)
+    [((list a b) (or (list a b) (list b a))) (+ a b)]
+    [(_ _) 42]))
\ No newline at end of file