diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-23 10:42:33 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-23 10:42:33 +0200 |
| commit | d973e5d15e51aa8a74f4b1141eef6c4064509dd3 (patch) | |
| tree | 4beb6ade51ee3c6071ce0611cb755b36b61179fb /src/dotty/tools/dotc/core/OrderingConstraint.scala | |
| parent | 53996d2952ddaeae9fd80a5ad79452d56be72678 (diff) | |
| download | dotty-d973e5d15e51aa8a74f4b1141eef6c4064509dd3.tar.gz dotty-d973e5d15e51aa8a74f4b1141eef6c4064509dd3.tar.bz2 dotty-d973e5d15e51aa8a74f4b1141eef6c4064509dd3.zip | |
Rename SimpleMap#mapValues -> mapValuesNow
The operation on SimpleMap is eager. As suggested by @retronym we should
find a name different from the lazy Map#mapValues operation.
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/OrderingConstraint.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/OrderingConstraint.scala b/src/dotty/tools/dotc/core/OrderingConstraint.scala index 115d0f8c0..7e27ee628 100644 --- a/src/dotty/tools/dotc/core/OrderingConstraint.scala +++ b/src/dotty/tools/dotc/core/OrderingConstraint.scala @@ -445,7 +445,7 @@ class OrderingConstraint(private val boundsMap: ParamBounds, val bndss1 = bndss.map(_.filterConserve(_.binder ne pt)) if (bndss.corresponds(bndss1)(_ eq _)) bndss else bndss1 } - po.remove(pt).mapValues(removeFromBoundss) + po.remove(pt).mapValuesNow(removeFromBoundss) } newConstraint(boundsMap.remove(pt), removeFromOrdering(lowerMap), removeFromOrdering(upperMap)) } |