Skip to content

Commit fb73f4b

Browse files
adampaulsadampauls
committed
Create errorTermTrees for more missing arguments to Apply nodes.
1 parent 1476a30 commit fb73f4b

19 files changed

+109
-63
lines changed

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -881,7 +881,8 @@ object Parsers {
881881
val next = in.lookahead.token
882882
next == LBRACKET || next == LPAREN
883883

884-
/** Is current ident a `*`, and is it followed by a `)` or `, )`? */
884+
/** Is current ident a `*`, and is it followed by a `)`, `, )`, `,EOF`? The latter two are not
885+
syntactically valid, but we need to include them here for error recovery. */
885886
def followingIsVararg(): Boolean =
886887
in.isIdent(nme.raw.STAR) && {
887888
val lookahead = in.LookaheadScanner()
@@ -890,7 +891,7 @@ object Parsers {
890891
|| lookahead.token == COMMA
891892
&& {
892893
lookahead.nextToken()
893-
lookahead.token == RPAREN
894+
lookahead.token == RPAREN || lookahead.token == EOF
894895
}
895896
}
896897

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -659,8 +659,6 @@ object Scanners {
659659
&& (token == RPAREN || token == RBRACKET || token == RBRACE || token == OUTDENT)
660660
then
661661
() /* skip the trailing comma */
662-
else if token == EOF then // e.g. when the REPL is parsing "val List(x, y, _*,"
663-
() /* skip the trailing comma */
664662
else
665663
reset()
666664
case END =>

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -285,7 +285,7 @@ object Tokens extends TokensCommon {
285285

286286
final val endMarkerTokens = identifierTokens | BitSet(IF, WHILE, FOR, MATCH, TRY, NEW, THROW, GIVEN, VAL, THIS)
287287

288-
final val skipStopTokens = BitSet(SEMI, NEWLINE, NEWLINES, RBRACE, RPAREN, RBRACKET, OUTDENT)
288+
final val skipStopTokens = BitSet(SEMI, NEWLINE, NEWLINES, RBRACE, RPAREN, RBRACKET, OUTDENT, COMMA)
289289

290290
final val softModifierNames = Set(nme.inline, nme.opaque, nme.open, nme.transparent, nme.infix)
291291
}

‎compiler/src/dotty/tools/repl/Main.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
package dotty.tools.repl
22

33
/** Main entry point to the REPL */
4+
// To test, run bin/scala
45
object Main {
56
def main(args: Array[String]): Unit =
67
new ReplDriver(args).tryRunning

‎tests/neg/arg-eof.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
object Test:
2+
case class Widget(name: String, other: Int = 5)
3+
Widget(name = "foo", // error // error

‎tests/neg/i1679.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
class A[T]
22
object o {
33
// Testing compiler crash, this test should be modified when named type argument are completely implemented
4-
val x: A[T=Int, T=Int] = ??? // error: ']' expected, but '=' found
4+
val x: A[T=Int, T=Int] = ??? // error: ']' expected, but '=' found // error
55
}

‎tests/neg/t1625.check

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
-- [E040] Syntax Error: tests/neg/t1625.scala:2:20 ---------------------------------------------------------------------
2+
2 | def foo(x: String*, y: String*, c: String*): Int // error: an identifier expected, but ',' found // error: an identifier expected, but ',' found
3+
| ^
4+
| an identifier expected, but ',' found
5+
-- [E040] Syntax Error: tests/neg/t1625.scala:2:32 ---------------------------------------------------------------------
6+
2 | def foo(x: String*, y: String*, c: String*): Int // error: an identifier expected, but ',' found // error: an identifier expected, but ',' found
7+
| ^
8+
| an identifier expected, but ',' found

‎tests/neg/t1625.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
trait T3 {
2-
def foo(x: String*, y: String*, c: String*): Int // error: an identifier expected, but ',' found
3-
}
2+
def foo(x: String*, y: String*, c: String*): Int // error: an identifier expected, but ',' found // error: an identifier expected, but ',' found
3+
}

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

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
-- [E032] Syntax Error: tests/neg/t5702-neg-bad-and-wild.scala:10:22 ---------------------------------------------------
2+
10 | case List(1, _*,) => // error: pattern expected // error
3+
| ^
4+
| pattern expected
5+
|
6+
| longer explanation available when compiling with `-explain`
7+
-- [E032] Syntax Error: tests/neg/t5702-neg-bad-and-wild.scala:12:23 ---------------------------------------------------
8+
12 | case List(1, _*3,) => // error: pattern expected // error // error
9+
| ^
10+
| pattern expected
11+
|
12+
| longer explanation available when compiling with `-explain`
13+
-- [E032] Syntax Error: tests/neg/t5702-neg-bad-and-wild.scala:15:18 ---------------------------------------------------
14+
15 | case List(x*, 1) => // error: pattern expected
15+
| ^
16+
| pattern expected
17+
|
18+
| longer explanation available when compiling with `-explain`
19+
-- [E031] Syntax Error: tests/neg/t5702-neg-bad-and-wild.scala:17:18 ---------------------------------------------------
20+
17 | case (1, x: _*) => // error: bad use of _* (sequence pattern not allowed)
21+
| ^
22+
| * can be used only for last argument
23+
|
24+
| longer explanation available when compiling with `-explain`
25+
-- [E032] Syntax Error: tests/neg/t5702-neg-bad-and-wild.scala:23:17 ---------------------------------------------------
26+
23 | val K(ns @ _*, x) = k // error: pattern expected
27+
| ^
28+
| pattern expected
29+
|
30+
| longer explanation available when compiling with `-explain`
31+
-- Error: tests/neg/t5702-neg-bad-and-wild.scala:10:21 -----------------------------------------------------------------
32+
10 | case List(1, _*,) => // error: pattern expected // error
33+
| ^
34+
| Values of types Null and Int cannot be compared with == or !=
35+
-- [E006] Not Found Error: tests/neg/t5702-neg-bad-and-wild.scala:12:20 ------------------------------------------------
36+
12 | case List(1, _*3,) => // error: pattern expected // error // error
37+
| ^
38+
| Not found: *
39+
|
40+
| longer explanation available when compiling with `-explain`
41+
-- Error: tests/neg/t5702-neg-bad-and-wild.scala:12:22 -----------------------------------------------------------------
42+
12 | case List(1, _*3,) => // error: pattern expected // error // error
43+
| ^
44+
| Values of types Null and Int cannot be compared with == or !=

‎tests/neg/t5702-neg-bad-brace.check

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
-- [E032] Syntax Error: tests/neg/t5702-neg-bad-brace.scala:8:21 -------------------------------------------------------
2+
8 | case List(1, _*} => // error: pattern expected
3+
| ^
4+
| pattern expected
5+
|
6+
| longer explanation available when compiling with `-explain`
7+
-- [E040] Syntax Error: tests/neg/t5702-neg-bad-brace.scala:11:0 -------------------------------------------------------
8+
11 |} // error: eof expected, but '}' found
9+
|^
10+
|eof expected, but '}' found

‎tests/neg/t5702-neg-bad-brace.scala

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
object Test {
3+
4+
def main(args: Array[String]) = {
5+
val is = List(1,2,3)
6+
7+
is match {
8+
case List(1, _*} => // error: pattern expected
9+
}
10+
}
11+
} // error: eof expected, but '}' found

‎tests/neg/trailing-comma-pattern.check

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
-- [E032] Syntax Error: tests/neg/trailing-comma-pattern.scala:3:8 -----------------------------------------------------
2+
3 |// error
3+
| ^
4+
| pattern expected
5+
|
6+
| longer explanation available when compiling with `-explain`

‎tests/neg/trailing-comma-pattern.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
object Test:
2+
val List(x, y, _*,
3+
// error

‎tests/neg/trailing-comma-pattern2.check

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
-- [E032] Syntax Error: tests/neg/trailing-comma-pattern2.scala:2:21 ---------------------------------------------------
2+
2 | val List(x, y, _*, ) // error
3+
| ^
4+
| pattern expected
5+
|
6+
| longer explanation available when compiling with `-explain`
7+
-- [E040] Syntax Error: tests/neg/trailing-comma-pattern2.scala:3:8 ----------------------------------------------------
8+
3 |// error
9+
| ^
10+
| '=' expected, but unindent found

‎tests/neg/trailing-comma-pattern2.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
object Test:
2+
val List(x, y, _*, ) // error
3+
// error

‎tests/pos/trailing-comma-pattern.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
object Test:
2+
val List(x, y, _*,
3+
) = List(1, 2, 3)

‎tests/untried/neg/t5702-neg-bad-and-wild.check

Lines changed: 0 additions & 28 deletions
This file was deleted.

‎tests/untried/neg/t5702-neg-bad-brace.check

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎tests/untried/neg/t5702-neg-bad-brace.scala

Lines changed: 0 additions & 17 deletions
This file was deleted.

0 commit comments

Comments
 (0)