Skip to content

Commit ffb2ab7

Browse files
oderskyodersky
committed
Classify an id as infix operator only if following can start an operand
Also, detect and report spread operators in illegal positions
1 parent 38559d7 commit ffb2ab7

File tree

15 files changed

+78
-66
lines changed

15 files changed

+78
-66
lines changed

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

Lines changed: 20 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -970,6 +970,15 @@ object Parsers {
970970
isArrowIndent()
971971
else false
972972

973+
/** Can the next lookahead token start an operand as defined by
974+
* leadingOperandTokens, or is postfix ops enabled?
975+
* This is used to decide whether the current token can be an infix operator.
976+
*/
977+
def nextCanFollowOperator(leadingOperandTokens: BitSet): Boolean =
978+
leadingOperandTokens.contains(in.lookahead.token)
979+
|| in.postfixOpsEnabled
980+
|| in.lookahead.token == COLONop
981+
973982
/* --------- OPERAND/OPERATOR STACK --------------------------------------- */
974983

975984
var opStack: List[OpInfo] = Nil
@@ -1050,7 +1059,11 @@ object Parsers {
10501059
then recur(top)
10511060
else top
10521061

1053-
recur(first)
1062+
val res = recur(first)
1063+
if isIdent(nme.raw.STAR) && !followingIsVararg() then
1064+
syntaxError(em"spread operator `*` not allowed here; must come last in a parameter list")
1065+
in.nextToken()
1066+
res
10541067
end infixOps
10551068

10561069
/* -------- IDENTIFIERS AND LITERALS ------------------------------------------- */
@@ -1671,7 +1684,8 @@ object Parsers {
16711684

16721685
def infixTypeRest(t: Tree): Tree =
16731686
infixOps(t, canStartInfixTypeTokens, refinedTypeFn, Location.ElseWhere, ParseKind.Type,
1674-
isOperator = !followingIsVararg() && !isPureArrow)
1687+
isOperator = !followingIsVararg() && !isPureArrow
1688+
&& nextCanFollowOperator(canStartInfixTypeTokens))
16751689

16761690
/** RefinedType ::= WithType {[nl] Refinement} [`^` CaptureSet]
16771691
*/
@@ -2444,7 +2458,8 @@ object Parsers {
24442458

24452459
def postfixExprRest(t: Tree, location: Location): Tree =
24462460
infixOps(t, in.canStartExprTokens, prefixExpr, location, ParseKind.Expr,
2447-
isOperator = !(location.inArgs && followingIsVararg()))
2461+
isOperator = !(location.inArgs && followingIsVararg())
2462+
&& nextCanFollowOperator(canStartInfixExprTokens))
24482463

24492464
/** PrefixExpr ::= [PrefixOperator'] SimpleExpr
24502465
* PrefixOperator ::= ‘-’ | ‘+’ | ‘~’ | ‘!’ (if not backquoted)
@@ -2947,7 +2962,8 @@ object Parsers {
29472962
def infixPattern(): Tree =
29482963
infixOps(
29492964
simplePattern(), in.canStartExprTokens, simplePatternFn, Location.InPattern, ParseKind.Pattern,
2950-
isOperator = in.name != nme.raw.BAR && !followingIsVararg())
2965+
isOperator = in.name != nme.raw.BAR && !followingIsVararg()
2966+
&& nextCanFollowOperator(canStartPatternTokens))
29512967

29522968
/** SimplePattern ::= PatVar
29532969
* | Literal

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

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -221,10 +221,13 @@ object Tokens extends TokensCommon {
221221

222222
final val openParensTokens = BitSet(LBRACE, LPAREN, LBRACKET)
223223

224-
final val canStartExprTokens3: TokenSet =
225-
atomicExprTokens
224+
final val canStartInfixExprTokens =
225+
atomicExprTokens
226226
| openParensTokens
227-
| BitSet(INDENT, QUOTE, IF, WHILE, FOR, NEW, TRY, THROW)
227+
| BitSet(QUOTE, NEW)
228+
229+
final val canStartExprTokens3: TokenSet =
230+
canStartInfixExprTokens | BitSet(INDENT, IF, WHILE, FOR, TRY, THROW)
228231

229232
final val canStartExprTokens2: TokenSet = canStartExprTokens3 | BitSet(DO)
230233

@@ -233,6 +236,8 @@ object Tokens extends TokensCommon {
233236

234237
final val canStartTypeTokens: TokenSet = canStartInfixTypeTokens | BitSet(LBRACE)
235238

239+
final val canStartPatternTokens = atomicExprTokens | openParensTokens | BitSet(USCORE, QUOTE)
240+
236241
final val templateIntroTokens: TokenSet = BitSet(CLASS, TRAIT, OBJECT, ENUM, CASECLASS, CASEOBJECT)
237242

238243
final val dclIntroTokens: TokenSet = BitSet(DEF, VAL, VAR, TYPE, GIVEN)

‎tests/neg/cc-only-defs.scala‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,5 @@ trait Test {
77

88
val b: ImpureFunction1[Int, Int] // now OK
99

10-
val a: {z} String // error
11-
} // error
10+
val a: {z} String // error // error
11+
}

‎tests/neg/i14564.check‎

Lines changed: 4 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,4 @@
1-
-- [E018] Syntax Error: tests/neg/i14564.scala:5:28 --------------------------------------------------------------------
2-
5 |def test = sum"${ List(42)* }" // error // error
3-
| ^
4-
| expression expected but '}' found
5-
|
6-
| longer explanation available when compiling with `-explain`
7-
-- [E008] Not Found Error: tests/neg/i14564.scala:5:26 -----------------------------------------------------------------
8-
5 |def test = sum"${ List(42)* }" // error // error
9-
| ^^^^^^^^^
10-
| value * is not a member of List[Int], but could be made available as an extension method.
11-
|
12-
| One of the following imports might make progress towards fixing the problem:
13-
|
14-
| import scala.math.Fractional.Implicits.infixFractionalOps
15-
| import scala.math.Integral.Implicits.infixIntegralOps
16-
| import scala.math.Numeric.Implicits.infixNumericOps
17-
|
1+
-- Error: tests/neg/i14564.scala:5:26 ----------------------------------------------------------------------------------
2+
5 |def test = sum"${ List(42)* }" // error
3+
| ^
4+
| spread operator `*` not allowed here; must come last in a parameter list

‎tests/neg/i14564.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@ import language.postfixOps as _
22

33
extension (sc: StringContext) def sum(xs: Int*): String = xs.sum.toString
44

5-
def test = sum"${ List(42)* }" // error // error
5+
def test = sum"${ List(42)* }" // error
66

‎tests/neg/i18020.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ def foo3 =
1616
val _root_ = "abc" // error
1717

1818
def foo1: Unit =
19-
val _root_: String = "abc" // error // error
19+
val _root_: String = "abc" // error
2020
// _root_: is, technically, a legal name
2121
// so then it tries to construct the infix op pattern
2222
// "_root_ String .." and then throws in a null when it fails

‎tests/neg/i4453.scala‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
class x0 { var x0 == _ * // error: _* can be used only for last argument // error: == cannot be used as an extractor in a pattern because it lacks an unapply or unapplySeq method
2-
// error '=' expected, but eof found
1+
class x0 { var x0 == _ * // error spread operator `*` not allowed here // error '=' expected
2+
// error: == cannot be used as an extractor in a pattern because it lacks an unapply or unapplySeq method

‎tests/neg/i5498-postfixOps.check‎

Lines changed: 19 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,25 @@
44
| expression expected but end of statement found
55
|
66
| longer explanation available when compiling with `-explain`
7-
-- [E018] Syntax Error: tests/neg/i5498-postfixOps.scala:6:37 ----------------------------------------------------------
8-
6 | Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error
9-
| ^
10-
| expression expected but ')' found
11-
|
12-
| longer explanation available when compiling with `-explain`
7+
-- [E040] Syntax Error: tests/neg/i5498-postfixOps.scala:6:29 ----------------------------------------------------------
8+
6 | Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error // error (type error) // error (type error)
9+
| ^^^^^^^^
10+
| ')' expected, but identifier found
1311
-- [E172] Type Error: tests/neg/i5498-postfixOps.scala:6:0 -------------------------------------------------------------
14-
6 | Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error
12+
6 | Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error // error (type error) // error (type error)
1513
|^
1614
|No given instance of type scala.concurrent.duration.DurationConversions.Classifier[Null] was found for parameter ev of method second in trait DurationConversions
15+
-- [E007] Type Mismatch Error: tests/neg/i5498-postfixOps.scala:6:24 ---------------------------------------------------
16+
6 | Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error // error (type error) // error (type error)
17+
| ^
18+
| Found: (1 : Int)
19+
| Required: Boolean
20+
|
21+
| longer explanation available when compiling with `-explain`
22+
-- [E007] Type Mismatch Error: tests/neg/i5498-postfixOps.scala:6:26 ---------------------------------------------------
23+
6 | Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error // error (type error) // error (type error)
24+
| ^
25+
| Found: (2 : Int)
26+
| Required: Boolean
27+
|
28+
| longer explanation available when compiling with `-explain`

‎tests/neg/i5498-postfixOps.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@ import scala.concurrent.duration.*
33
def test() = {
44
1 second // error: usage of postfix operator
55

6-
Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error
6+
Seq(1, 2).filter(List(1,2) contains) // error: usage of postfix operator // error // error (type error) // error (type error)
77
}

‎tests/neg/i6059.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
def I0(I1: Int ) = I1
2-
val I1 = I0(I0 i2) => // error
2+
val I1 = I0(I0 i2) => // error // error
33
true

0 commit comments

Comments
 (0)