From dc373d09bb53c606bf067e03f655cc404a313d41 Mon Sep 17 00:00:00 2001
From: Burak Emir <emir@epfl.ch>
Date: Tue, 7 Aug 2007 10:52:08 +0000
Subject: fixed #1213, added test case

---
 test/files/pos/patterns1213.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/files/pos/patterns1213.scala

(limited to 'test/files/pos/patterns1213.scala')

diff --git a/test/files/pos/patterns1213.scala b/test/files/pos/patterns1213.scala
new file mode 100644
index 0000000000..7b8a8c8fc0
--- /dev/null
+++ b/test/files/pos/patterns1213.scala
@@ -0,0 +1,11 @@
+abstract class MapLocation(ID:int) {
+  abstract class Message
+  case class ReceivePlayer(id: int) extends Message
+
+  def foo(p: Message) {
+    p match {
+      case ReceivePlayer(ID) =>
+        ()
+    }
+  }
+}
-- 
cgit v1.2.3