diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-31 19:50:20 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-31 19:50:20 +0100 |
| commit | adcc240c565071b2a2b825e413579edddfa3ebd7 (patch) | |
| tree | 8bc4cd2f1a3ea00604fa639f8442bc5e14ab3d37 /src/dotty/tools/dotc/core/OrderingConstraint.scala | |
| parent | 70e55d26100199b99502705233786bbdc15c4c6b (diff) | |
| download | dotty-adcc240c565071b2a2b825e413579edddfa3ebd7.tar.gz dotty-adcc240c565071b2a2b825e413579edddfa3ebd7.tar.bz2 dotty-adcc240c565071b2a2b825e413579edddfa3ebd7.zip | |
Removed TrackingConstraint
It's too hard to keep fixes up-to-date in both constraint implementations.
And anyway, OrderingConstraint is it for now.
Also added comment suggested by @smarter.
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/OrderingConstraint.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/OrderingConstraint.scala b/src/dotty/tools/dotc/core/OrderingConstraint.scala index 65185ff4f..53378435e 100644 --- a/src/dotty/tools/dotc/core/OrderingConstraint.scala +++ b/src/dotty/tools/dotc/core/OrderingConstraint.scala @@ -288,6 +288,10 @@ class OrderingConstraint(private val boundsMap: ParamBounds, newConstraint(boundsMap.updated(poly, entries1), lowerMap, upperMap).init(poly) } + /** Split dependent parameters off the bounds for parameters in `poly`. + * Update all bounds to be normalized and update ordering to account for + * dependent parameters. + */ private def init(poly: PolyType)(implicit ctx: Context): This = { var current = this val loBuf, hiBuf = new mutable.ListBuffer[PolyParam] |