diff options
author | Paul Phillips <paulp@improving.org> | 2010-03-15 04:45:47 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-03-15 04:45:47 +0000 |
commit | f972729b04c44c12ea10d5aa5bb841fc3b40ab69 (patch) | |
tree | 3cbbe97f20b10a5303828324be5b0a9ced00df0c /src/actors | |
parent | 70d4eb9654a2e7a6ba7dad2b62df36793678d99f (diff) | |
download | scala-f972729b04c44c12ea10d5aa5bb841fc3b40ab69.tar.gz scala-f972729b04c44c12ea10d5aa5bb841fc3b40ab69.tar.bz2 scala-f972729b04c44c12ea10d5aa5bb841fc3b40ab69.zip |
Leveraged -Xmigration to burn off some warts wh...
Leveraged -Xmigration to burn off some warts which arose in the new
collections. Warnings put in place for behavioral changes, allowing the
following. 1) Buffers: create new collections on
++ and -- like all the other collections. 2) Maps: eliminated
never-shipped redundant method valuesIterable and supplied these
return types:
def keys: Iterable[A]
def keysIterator: Iterator[A]
def values: Iterable[B]
def valuesIterator: Iterator[B]
def keySet: Set[A]
I concluded that keys should return Iterable because keySet also exists
on Map, and is not solely in the province of Maps even if we wanted to
change it: it's defined on Sorted and also appears in some Sets. So it
seems sensible to have keySet return a Set and keys return the more
general type.
Closes #3089, #3145. Review by odersky.
Diffstat (limited to 'src/actors')
-rw-r--r-- | src/actors/scala/actors/remote/NetKernel.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/actors/scala/actors/remote/NetKernel.scala b/src/actors/scala/actors/remote/NetKernel.scala index 9c2b18ada2..fc79fdec54 100644 --- a/src/actors/scala/actors/remote/NetKernel.scala +++ b/src/actors/scala/actors/remote/NetKernel.scala @@ -140,7 +140,7 @@ private[remote] class NetKernel(service: Service) { def terminate() { // tell all proxies to terminate - proxies.valuesIterator foreach { p => p.send(Terminate, null) } + proxies.values foreach { _.send(Terminate, null) } // tell service to terminate service.terminate() |