From 753c534b1b2014d252e7562a39c3cd1cc16c8e76 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 13 Nov 2013 14:56:07 +0100 Subject: widen if unstable prefix --- src/dotty/tools/dotc/core/Decorators.scala | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/dotty/tools/dotc/core/Decorators.scala') diff --git a/src/dotty/tools/dotc/core/Decorators.scala b/src/dotty/tools/dotc/core/Decorators.scala index 7888d2f8c..eb287f411 100644 --- a/src/dotty/tools/dotc/core/Decorators.scala +++ b/src/dotty/tools/dotc/core/Decorators.scala @@ -98,6 +98,13 @@ object Decorators { (xs1 eq xs.tail)) xs else x1 :: xs1 } + + final def hasSameLengthAs[U](ys: List[U]): Boolean = { + @tailrec def loop(xs: List[T], ys: List[U]): Boolean = + if (xs.isEmpty) ys.isEmpty + else ys.nonEmpty && loop(xs.tail, ys.tail) + loop(xs, ys) + } } implicit class ListOfListDecorator[T](val xss: List[List[T]]) extends AnyVal { -- cgit v1.2.3