diff options
author | Martin Odersky <odersky@gmail.com> | 2016-12-17 22:02:29 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-12-17 22:02:29 +0100 |
commit | 1f9990b58c23ba74a8d96166700e755704b78a49 (patch) | |
tree | 359f6722652affe6af9b45e62093763ed93281fa /compiler/src/dotty/tools/dotc/core/Types.scala | |
parent | b63480a59bbdd284a5e32281fbb0037e509f4b1e (diff) | |
download | dotty-1f9990b58c23ba74a8d96166700e755704b78a49.tar.gz dotty-1f9990b58c23ba74a8d96166700e755704b78a49.tar.bz2 dotty-1f9990b58c23ba74a8d96166700e755704b78a49.zip |
Comment FlexType
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/Types.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 8f43ed9bb..9884cc70a 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/compiler/src/dotty/tools/dotc/core/Types.scala @@ -3252,6 +3252,9 @@ object Types { override def computeHash = hashSeed } + /** A common superclass of `ErrorType` and `TryDynamicCallSite`. Instances of this + * class are at the same time subtypes and supertypes of every other type. + */ abstract class FlexType extends UncachedGroundType with ValueType class ErrorType(_msg: => Message) extends FlexType { |