From 9266922e1bfcbbebc9b5926864f7e70e49e142e7 Mon Sep 17 00:00:00 2001
From: Aleksandar Pokopec <aleksandar.prokopec@epfl.ch>
Date: Wed, 17 Nov 2010 17:04:09 +0000
Subject: Fixes #3989, adding test cases for #3989 and #3...

Fixes #3989, adding test cases for #3989 and #3996.

No review.
---
 .../scala/collection/immutable/ListMap.scala       | 41 +++++++++++++++-------
 test/files/run/t3989.scala                         | 16 +++++++++
 test/files/run/t3996.scala                         | 12 +++++++
 3 files changed, 57 insertions(+), 12 deletions(-)
 create mode 100644 test/files/run/t3989.scala
 create mode 100644 test/files/run/t3996.scala

diff --git a/src/library/scala/collection/immutable/ListMap.scala b/src/library/scala/collection/immutable/ListMap.scala
index 088d7e22cb..4b7e512e47 100644
--- a/src/library/scala/collection/immutable/ListMap.scala
+++ b/src/library/scala/collection/immutable/ListMap.scala
@@ -12,6 +12,7 @@ package scala.collection
 package immutable
 
 import generic._
+import annotation.tailrec
 
 /** $factoryInfo
  *  @since 1
@@ -129,7 +130,10 @@ class ListMap[A, +B] extends Map[A, B] with MapLike[A, B, ListMap[A, B]] {
      *
      *  @return number of mappings.
      */
-    override def size: Int = next.size + 1
+    override def size: Int = size0(this, 0)
+
+    // to allow tail recursion and prevent stack overflows
+    @tailrec private def size0(cur: ListMap[A, B1], acc: Int): Int = if (cur.isEmpty) acc else size0(cur.next, acc + 1)
 
     /** Is this an empty map?
      *
@@ -144,7 +148,9 @@ class ListMap[A, +B] extends Map[A, B] with MapLike[A, B, ListMap[A, B]] {
      *  @param  key the key
      *  @return     the value associated with the given key.
      */
-    override def apply(k: A): B1 = if (k == key) value else next(k)
+    override def apply(k: A): B1 = apply0(this, k)
+
+    @tailrec private def apply0(cur: ListMap[A, B1], k: A): B1 = if (k == cur.key) cur.value else apply0(cur.next, k)
 
     /** Checks if this map maps <code>key</code> to a value and return the
      *  value if it exists.
@@ -152,8 +158,11 @@ class ListMap[A, +B] extends Map[A, B] with MapLike[A, B, ListMap[A, B]] {
      *  @param  key the key of the mapping of interest
      *  @return     the value of the mapping, if it exists
      */
-    override def get(k: A): Option[B1] =
-      if (k == key) Some(value) else next.get(k)
+    override def get(k: A): Option[B1] = get0(this, k)
+
+    @tailrec private def get0(cur: ListMap[A, B1], k: A): Option[B1] =
+      if (k == cur.key) Some(cur.value)
+      else if (cur.next.nonEmpty) get0(cur.next, k) else None
 
     /** This method allows one to create a new map with an additional mapping
      *  from `key` to `value`. If the map contains already a mapping for `key`,
@@ -174,14 +183,22 @@ class ListMap[A, +B] extends Map[A, B] with MapLike[A, B, ListMap[A, B]] {
      *  @param k ...
      *  @return  ...
      */
-    override def - (k: A): ListMap[A, B1] =
-      if (k == key)
-        next
-      else {
-        val tail = next - k
-        if (tail eq next) this
-        else new tail.Node(key, value)
-      }
+    override def - (k: A): ListMap[A, B1] = remove0(this, k, ListMap[A, B1]())
+
+    // this solution was nicer and possibly more efficient, but resulted in stack overflows:
+    // if (k == key)
+    //   next
+    // else {
+    //   val tail = next - k
+    //   if (tail eq next) this
+    //   else new tail.Node(key, value)
+    // }
+
+    @tailrec private def remove0(cur: ListMap[A, B1], k: A, acc: ListMap[A, B1]): ListMap[A, B1] =
+      if (cur.nonEmpty) {
+        if (k == cur.key) remove0(cur.next, k, acc)
+        else remove0(cur.next, k, new acc.Node(cur.key, cur.value))
+      } else cur
 
     override protected def next: ListMap[A, B1] = ListMap.this
   }
diff --git a/test/files/run/t3989.scala b/test/files/run/t3989.scala
new file mode 100644
index 0000000000..d519978e54
--- /dev/null
+++ b/test/files/run/t3989.scala
@@ -0,0 +1,16 @@
+
+
+
+
+
+class Foo{ override def equals(o: Any) = false; override def hashCode = 1}
+
+object Test {
+  def main(args: Array[String]) {
+    import collection.immutable.HashMap
+    var m = Map[Foo, Int]()
+    for (i <- 1 to 30000) m += (new Foo) -> i
+    assert(m.size == 30000)
+    m.toString
+  }
+}
diff --git a/test/files/run/t3996.scala b/test/files/run/t3996.scala
new file mode 100644
index 0000000000..1bb1216390
--- /dev/null
+++ b/test/files/run/t3996.scala
@@ -0,0 +1,12 @@
+
+
+
+
+
+object Test {
+  def main(args: Array[String]) {
+    import collection.mutable.LinkedList
+    val l = new LinkedList[Int]() ++ (0 until 10000)
+    assert(l.length == 10000)
+  }
+}
-- 
cgit v1.2.3