diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:13:23 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:13:23 +0100 |
commit | a4937916037f74b414c9bab1819681ed2ecd7fdc (patch) | |
tree | 71cf57f98ad8a49096711614fa6ec2c858f8d614 /src/dotty/tools/dotc/core/Constraint.scala | |
parent | eb4d80891bcfaf9ffa402ea36f1562c5f597e479 (diff) | |
download | dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.tar.gz dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.tar.bz2 dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.zip |
Fixups taking into account reviewer's comments.
Diffstat (limited to 'src/dotty/tools/dotc/core/Constraint.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Constraint.scala | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Constraint.scala b/src/dotty/tools/dotc/core/Constraint.scala index d6e1589e0..bc0d476a9 100644 --- a/src/dotty/tools/dotc/core/Constraint.scala +++ b/src/dotty/tools/dotc/core/Constraint.scala @@ -92,11 +92,13 @@ abstract class Constraint extends Showable { */ def updateEntry(param: PolyParam, tp: Type)(implicit ctx: Context): This - /** A constraint that includes the relationship `p1 <: p2` + /** A constraint that includes the relationship `p1 <: p2`. + * `<:` relationships between parameters ("edges") are propagated, but + * non-parameter bounds are left alone. */ def addLess(p1: PolyParam, p2: PolyParam)(implicit ctx: Context): This - /** A constraint resulting by adding p2 = p1 to this constraint, and at the same + /** A constraint resulting from adding p2 = p1 to this constraint, and at the same * time transferring all bounds of p2 to p1 */ def unify(p1: PolyParam, p2: PolyParam)(implicit ctx: Context): This |