diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-23 10:39:33 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-23 10:39:33 +0200 |
| commit | 53996d2952ddaeae9fd80a5ad79452d56be72678 (patch) | |
| tree | f85e97ca06827932ab9d3c88bc3468ef26a65794 /src/dotty/tools/dotc/core/OrderingConstraint.scala | |
| parent | d5b14bf614fe9f25d10f63b71ca081a828562169 (diff) | |
| download | dotty-53996d2952ddaeae9fd80a5ad79452d56be72678.tar.gz dotty-53996d2952ddaeae9fd80a5ad79452d56be72678.tar.bz2 dotty-53996d2952ddaeae9fd80a5ad79452d56be72678.zip | |
Polish code.
Find a nicer way to express the same logic.
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/OrderingConstraint.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/OrderingConstraint.scala b/src/dotty/tools/dotc/core/OrderingConstraint.scala index 4c52f58e8..115d0f8c0 100644 --- a/src/dotty/tools/dotc/core/OrderingConstraint.scala +++ b/src/dotty/tools/dotc/core/OrderingConstraint.scala @@ -442,8 +442,8 @@ class OrderingConstraint(private val boundsMap: ParamBounds, def remove(pt: PolyType)(implicit ctx: Context): This = { def removeFromOrdering(po: ParamOrdering) = { def removeFromBoundss(key: PolyType, bndss: Array[List[PolyParam]]): Array[List[PolyParam]] = { - val bndss1 = bndss.map(bnds => bnds.filterConserve(_.binder ne pt)) - if ((0 until bndss.length).forall(i => bndss(i) eq bndss1(i))) bndss else bndss1 + val bndss1 = bndss.map(_.filterConserve(_.binder ne pt)) + if (bndss.corresponds(bndss1)(_ eq _)) bndss else bndss1 } po.remove(pt).mapValues(removeFromBoundss) } |