diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index ea3c9ca59..395584a49 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -1744,19 +1744,7 @@ object Types { class CyclicReference(val denot: SymDenotation) extends FatalTypeError(s"cyclic reference involving $denot") - // ----- Misc utilities --------------------------------------------------------- - - /** True if two lists have the same length. Since calling length on linear sequences - * is O(n), it is an inadvisable way to test length equality. - */ - 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 - } + // ----- Debug --------------------------------------------------------- var debugTrace = false } |