diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-03 14:18:46 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:36 +0200 |
| commit | 29d19ba41622b1a904d4960869866c0967db6c37 (patch) | |
| tree | faf475c34a11b4d5a510188eadc43a2e3565c83e /src/dotty/tools/dotc/util/SourcePosition.scala | |
| parent | 41d642947c678efdd392bd01c632ecd53fd26b48 (diff) | |
| download | dotty-29d19ba41622b1a904d4960869866c0967db6c37.tar.gz dotty-29d19ba41622b1a904d4960869866c0967db6c37.tar.bz2 dotty-29d19ba41622b1a904d4960869866c0967db6c37.zip | |
Correct line extraction from SourcePosition
Diffstat (limited to 'src/dotty/tools/dotc/util/SourcePosition.scala')
| -rw-r--r-- | src/dotty/tools/dotc/util/SourcePosition.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/util/SourcePosition.scala b/src/dotty/tools/dotc/util/SourcePosition.scala index d0f9cb887..a64f44417 100644 --- a/src/dotty/tools/dotc/util/SourcePosition.scala +++ b/src/dotty/tools/dotc/util/SourcePosition.scala @@ -17,7 +17,7 @@ extends interfaces.SourcePosition { /** The lines of the position */ def lines: List[Int] = - List.range(source.offsetToLine(start), source.offsetToLine(end)) match { + List.range(source.offsetToLine(start), source.offsetToLine(end + 1)) match { case Nil => line :: Nil case xs => xs } |