diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-02 18:14:24 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-03-02 18:14:30 +0100 |
commit | 10d868ce335d1ecbb0a6acb8d4bd804d76edcac9 (patch) | |
tree | 92523271c9bbeddee77f2ff7a0f19287e6962f60 /compiler | |
parent | 4c6a69ec075de6948f2c82778f6ccf7a30b6bc70 (diff) | |
download | dotty-10d868ce335d1ecbb0a6acb8d4bd804d76edcac9.tar.gz dotty-10d868ce335d1ecbb0a6acb8d4bd804d76edcac9.tar.bz2 dotty-10d868ce335d1ecbb0a6acb8d4bd804d76edcac9.zip |
More tests
and a typo fixed
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala index 6042cc12c..168742257 100644 --- a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala @@ -1312,7 +1312,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { case tp1: RefinedType => tp2 match { case tp2: RefinedType if tp1.refinedName == tp2.refinedName => - // Given two refinements `T1 { X = S1 }` and `T2 { X = S2 }` rwrite to + // Given two refinements `T1 { X = S1 }` and `T2 { X = S2 }` rewrite to // `T1 & T2 { X B }` where `B` is the conjunction of the bounds of `X` in `T1` and `T2`. // // However, if `homogenizeArgs` is set, and both aliases `X = Si` are |