From c1c933d6f936a7975ca316c69d7639145eed36e7 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 17 Dec 2013 18:32:11 +0100
Subject: Fixes for by-name arguments

Previously, we did not strip off the => when comparing against expected type.
---
 tests/pos/Patterns.scala | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'tests/pos/Patterns.scala')

diff --git a/tests/pos/Patterns.scala b/tests/pos/Patterns.scala
index 1161e352b..fbcdc4c30 100644
--- a/tests/pos/Patterns.scala
+++ b/tests/pos/Patterns.scala
@@ -15,5 +15,18 @@ object Patterns {
     case Nil => 0
     case x :: xs1 => x + sum(xs1)
   }
-
+  
+  def len[T](xs: List[T]): Int = xs match {
+    case _ :: xs1 => 1 + len(xs1)
+    case Nil => 0
+  }
+  
+  final def sameLength[T](xs: List[T], ys: List[T]): Boolean = xs match {
+    case _ :: xs1 =>
+      ys match {
+        case _ :: ys1 => sameLength(xs1, ys1)
+        case _ => false
+      }
+    case _ => ys.isEmpty
+  }
 }
\ No newline at end of file
-- 
cgit v1.2.3