diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-09 18:59:53 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-09 18:59:53 +0100 |
| commit | 3bc8f5dceba014ddd0c7e5cc8080009439c5b363 (patch) | |
| tree | 50d7626d59d53ed47f74ae596ad4f44518c204e5 /src/dotty/tools/dotc/util | |
| parent | 067ef2076cfcf7864b840ddf38c514ff67f52c64 (diff) | |
| download | dotty-3bc8f5dceba014ddd0c7e5cc8080009439c5b363.tar.gz dotty-3bc8f5dceba014ddd0c7e5cc8080009439c5b363.tar.bz2 dotty-3bc8f5dceba014ddd0c7e5cc8080009439c5b363.zip | |
Fixing Position.contains(NoPosition)
Diffstat (limited to 'src/dotty/tools/dotc/util')
| -rw-r--r-- | src/dotty/tools/dotc/util/Positions.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/util/Positions.scala b/src/dotty/tools/dotc/util/Positions.scala index 334a3deb6..6dfb78c87 100644 --- a/src/dotty/tools/dotc/util/Positions.scala +++ b/src/dotty/tools/dotc/util/Positions.scala @@ -62,8 +62,7 @@ object Positions { /** Does the range of this position contain the one of that position? */ def contains(that: Position): Boolean = - if (exists) (start <= that.start && end >= that.end) - else !that.exists + !that.exists || exists && (start <= that.start && end >= that.end) /** Is this position synthetic? */ def isSynthetic = pointDelta == SyntheticPointDelta |