diff options
author | Reto Hablützel <rh@nezasa.com> | 2016-12-04 16:48:22 +0100 |
---|---|---|
committer | Reto Hablützel <rh@nezasa.com> | 2016-12-04 16:52:00 +0100 |
commit | 4835d0455f6f4777d168901e8719b55bbd389baa (patch) | |
tree | 3e7b5e8ecd9ac7a6f8b94ce9e66da56598877b76 /compiler/src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | 9ceed9213497597de8895c83bdf0cc4d5597b150 (diff) | |
download | dotty-4835d0455f6f4777d168901e8719b55bbd389baa.tar.gz dotty-4835d0455f6f4777d168901e8719b55bbd389baa.tar.bz2 dotty-4835d0455f6f4777d168901e8719b55bbd389baa.zip |
handle ConstantType in TypeComparer
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/TypeComparer.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala index fd954c688..f8c0cdac9 100644 --- a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala @@ -260,6 +260,11 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { secondTry(tp1, tp2) } compareErasedValueType + case ConstantType(v2) => + tp1 match { + case ConstantType(v1) => v1.value == v2.value + case _ => secondTry(tp1, tp2) + } case ErrorType => true case _ => |