Skip to content

Commit 8e62f96

Browse files
adampaulsadampauls
committed
Better positions on errorTermTree
1 parent 1476a30 commit 8e62f96

14 files changed

+46
-50
lines changed

‎compiler/src/dotty/tools/dotc/parsing/Parsers.scala

Lines changed: 10 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -377,7 +377,7 @@ object Parsers {
377377
false
378378
}
379379

380-
def errorTermTree: Literal = atSpan(in.offset) { Literal(Constant(null)) }
380+
def errorTermTree(start: Offset): Literal = atSpan(start, in.offset, in.offset) { Literal(Constant(null)) }
381381

382382
private var inFunReturnType = false
383383
private def fromWithinReturnType[T](body: => T): T = {
@@ -1930,7 +1930,7 @@ object Parsers {
19301930
PolyFunction(tparams, body)
19311931
else {
19321932
syntaxError("Implementation restriction: polymorphic function literals must have a value parameter", arrowOffset)
1933-
errorTermTree
1933+
errorTermTree(arrowOffset)
19341934
}
19351935
}
19361936
case _ =>
@@ -2297,8 +2297,9 @@ object Parsers {
22972297
in.nextToken()
22982298
simpleExpr(location)
22992299
else
2300+
val start = in.lastOffset
23002301
syntaxErrorOrIncomplete(IllegalStartSimpleExpr(tokenString(in.token)), expectedOffset)
2301-
errorTermTree
2302+
errorTermTree(start)
23022303
}
23032304
simpleExprRest(t, location, canApply)
23042305
}
@@ -2737,8 +2738,9 @@ object Parsers {
27372738
case _ =>
27382739
if (isLiteral) literal(inPattern = true)
27392740
else {
2741+
val start = in.lastOffset
27402742
syntaxErrorOrIncomplete(IllegalStartOfSimplePattern(), expectedOffset)
2741-
errorTermTree
2743+
errorTermTree(start)
27422744
}
27432745
}
27442746

@@ -3313,8 +3315,9 @@ object Parsers {
33133315
}
33143316
val rhs2 =
33153317
if rhs.isEmpty && !isAllIds then
3318+
val start = in.lastOffset
33163319
syntaxError(ExpectedTokenButFound(EQUALS, in.token), Span(in.lastOffset))
3317-
errorTermTree
3320+
errorTermTree(start)
33183321
else
33193322
rhs
33203323
PatDef(mods, lhs, tpt, rhs2)
@@ -3482,11 +3485,12 @@ object Parsers {
34823485
case GIVEN =>
34833486
givenDef(start, mods, atSpan(in.skipToken()) { Mod.Given() })
34843487
case _ =>
3488+
val start = in.lastOffset
34853489
syntaxErrorOrIncomplete(ExpectedStartOfTopLevelDefinition())
34863490
mods.annotations match {
34873491
case head :: Nil => head
34883492
case Nil => EmptyTree
3489-
case all => Block(all, errorTermTree)
3493+
case all => Block(all, errorTermTree(start))
34903494
}
34913495
}
34923496

‎compiler/src/dotty/tools/dotc/parsing/xml/MarkupParsers.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -131,7 +131,7 @@ object MarkupParsers {
131131
try handle.parseAttribute(Span(start, curOffset, mid), tmp)
132132
catch {
133133
case e: RuntimeException =>
134-
errorAndResult("error parsing attribute value", parser.errorTermTree)
134+
errorAndResult("error parsing attribute value", parser.errorTermTree(parser.in.offset))
135135
}
136136

137137
case '{' =>
@@ -334,7 +334,7 @@ object MarkupParsers {
334334
finally parser.in.resume(saved)
335335

336336
if (output == null)
337-
parser.errorTermTree
337+
parser.errorTermTree(parser.in.offset)
338338
else
339339
output
340340
}

‎language-server/test/dotty/tools/languageserver/DiagnosticsTest.scala

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,7 @@ class DiagnosticsTest {
2121
| Nil.map(x => x).filter(x$m1 =>$m2)$m3
2222
|}""".withSource
2323
.diagnostics(m1,
24-
(m2 to m2, "expression expected but ')' found", Error, Some(IllegalStartSimpleExprID)),
25-
(m1 to m1, """Found: Null
26-
|Required: Boolean""".stripMargin, Error, Some(TypeMismatchID))
24+
(m2 to m2, "expression expected but ')' found", Error, Some(IllegalStartSimpleExprID))
2725
)
2826

2927
@Test def diagnosticPureExpression: Unit =

‎tests/neg/errpos.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ object Test {
1010
val b = type // error: expression expected (on "type")
1111

1212
1 match {
13-
case // error: pattern expected // error: cannot compare with Null
13+
case // error: pattern expected
1414
case 2 => ""
1515
}
16-
}
16+
}

‎tests/neg/i12150.check

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,3 @@
44
| expression expected but end found
55
|
66
| longer explanation available when compiling with `-explain`
7-
-- [E129] Potential Issue Warning: tests/neg/i12150.scala:1:11 ---------------------------------------------------------
8-
1 |def f: Unit = // error
9-
| ^
10-
| A pure expression does nothing in statement position; you may be omitting necessary parentheses
11-
|
12-
| longer explanation available when compiling with `-explain`

‎tests/neg/i1846.scala

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -3,17 +3,17 @@ object Test {
33
val x = 42
44
val Y = "42"
55

6-
x match { case { 42 } => () } // error // error
7-
x match { case { 42.toString } => () } // error // error
8-
x match { case { 42 }.toString => () } // error // error
6+
x match { case { 42 } => () } // error
7+
x match { case { 42.toString } => () } // error
8+
x match { case { 42 }.toString => () } // error
99
x match { case "42".toInt => () } // error
10-
x match { case { "42".toInt } => () } // error // error
11-
x match { case { "42" }.toInt => () } // error // error
12-
x match { case { "42".toInt } => () } // error // error
10+
x match { case { "42".toInt } => () } // error
11+
x match { case { "42" }.toInt => () } // error
12+
x match { case { "42".toInt } => () } // error
1313
x match { case Y => () } // error
14-
x match { case { Y.toInt } => () } // error // error
15-
x match { case { Y }.toInt => () } // error // error
16-
x match { case { Y }.toString => () } // error // error
17-
x match { case { Y.toString } => () } // error // error
14+
x match { case { Y.toInt } => () } // error
15+
x match { case { Y }.toInt => () } // error
16+
x match { case { Y }.toString => () } // error
17+
x match { case { Y.toString } => () } // error
1818
}
1919
}

‎tests/neg/i3812.scala

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,11 @@ object Test {
33
val x = 42
44
val Y = "42"
55

6-
x match { case { 42 } => () } // error // error
7-
x match { case { "42".toInt } => () } // error // error
8-
x match { case { "42" }.toInt => () } // error // error
9-
x match { case { "42".toInt } => () } // error // error
10-
x match { case { Y.toInt } => () } // error // error
11-
x match { case { Y }.toInt => () } // error // error
6+
x match { case { 42 } => () } // error
7+
x match { case { "42".toInt } => () } // error
8+
x match { case { "42" }.toInt => () } // error
9+
x match { case { "42".toInt } => () } // error
10+
x match { case { Y.toInt } => () } // error
11+
x match { case { Y }.toInt => () } // error
1212
}
1313
}

‎tests/neg/i5004.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
object i0 {
22
1 match {
33
def this(): Int // error
4-
def this()
4+
def this() // error
5+
}
56
}
6-
}

‎tests/neg/i7742.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
object A {
2-
for // error // error
3-
}
2+
for // error
3+
}

‎tests/neg/parser-stability-25.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,5 +11,5 @@ class D extends (Int => 1) {
1111
}
1212

1313
class Wrap(x: Int)
14-
class E extends (Wrap)( // error
14+
class E extends (Wrap)(
1515
// error

‎tests/neg/parser-stability-27.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
class F extends (Int => 1)( // error
1+
class F extends (Int => 1)(
22
// error

‎tests/neg/parser-stability-5.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
trait x0 {
22
x1 : { // error
3-
var x2 // error
3+
var x2
44
// error

‎tests/neg/t5702-neg-bad-and-wild.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,10 @@ object Test {
77
val is = List(1,2,3)
88

99
is match {
10-
case List(1, _*,) => // error: pattern expected // error
10+
case List(1, _*,) => // error: pattern expected
1111

12-
case List(1, _*3,) => // error: pattern expected // error // error
13-
//case List(1, _*3:) => // poor recovery by parens
12+
case List(1, _*3,) => // error: pattern expected // error
13+
case List(1, _*3:) => // error // error
1414
case List(1, x*) => // ok
1515
case List(x*, 1) => // error: pattern expected
1616
case (1, x*) => //ok

‎tests/neg/trailingCommas.scala

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@ package foo
22

33
// Multi-line only cases: make sure trailing commas are only supported when multi-line
44

5-
trait ArgumentExprs1 { validMethod(23, "bar", )(Ev0, Ev1) } // error // error
6-
trait ArgumentExprs2 { validMethod(23, "bar")(Ev0, Ev1, ) } // error // error
7-
trait ArgumentExprs3 { new ValidClass(23, "bar", )(Ev0, Ev1) } // error // error
8-
trait ArgumentExprs4 { new ValidClass(23, "bar")(Ev0, Ev1, ) } // error // error
5+
trait ArgumentExprs1 { validMethod(23, "bar", )(Ev0, Ev1) } // error
6+
trait ArgumentExprs2 { validMethod(23, "bar")(Ev0, Ev1, ) } // error
7+
trait ArgumentExprs3 { new ValidClass(23, "bar", )(Ev0, Ev1) } // error
8+
trait ArgumentExprs4 { new ValidClass(23, "bar")(Ev0, Ev1, ) } // error
99

1010
trait Params1 { def f(foo: Int, bar: String, )(implicit ev0: Ev0, ev1: Ev1, ) = 1 } // error // error
1111

@@ -55,4 +55,4 @@ object `package` {
5555

5656
case class Foo(foo: Any)
5757
case class Bar(foo: Any)
58-
}
58+
}

0 commit comments

Comments
 (0)