Merge pull request #4354 from eed3si9n/wip/rangepos

Follow up on Position extension
This commit is contained in:
eugene yokota 2018-09-14 00:56:58 -04:00 committed by GitHub
commit 916724afd4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 1 deletions

View File

@ -111,8 +111,19 @@ class LanguageServerReporter(
} yield {
val line = line0.toLong - 1L
val pointer = pointer0.toLong
val r = (
pos.startLine.toOption,
pos.startColumn.toOption,
pos.endLine.toOption,
pos.endColumn.toOption
) match {
case (Some(sl), Some(sc), Some(el), Some(ec)) =>
Range(Position(sl.toLong - 1, sc.toLong), Position(el.toLong - 1, ec.toLong))
case _ =>
Range(Position(line, pointer), Position(line, pointer + 1))
}
Diagnostic(
Range(start = Position(line, pointer), end = Position(line, pointer + 1)),
r,
Option(toDiagnosticSeverity(problem.severity)),
None,
Option("sbt"),