Skip to content

Commit 9828026

Browse files
oderskyodersky
committed
Allow types in given definitions to be infix types
A type implemented in a given definition can now be an infix type, without enclosing parens being necessary. By contrast, it cannot anymore be a refined type. Refined types have to be enclosed in parens. This second point aligns the dotty parser with the published syntax and the scala meta parser. # Conflicts: # tests/pos/typeclasses-this.scala
1 parent d1a5276 commit 9828026

File tree

8 files changed

+45
-35
lines changed

8 files changed

+45
-35
lines changed

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

Lines changed: 18 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1771,8 +1771,8 @@ object Parsers {
17711771
*/
17721772
def infixType(): Tree = infixTypeRest(refinedType())
17731773

1774-
def infixTypeRest(t: Tree): Tree =
1775-
infixOps(t, canStartInfixTypeTokens, refinedTypeFn, Location.ElseWhere, ParseKind.Type,
1774+
def infixTypeRest(t: Tree, operand: Location => Tree = refinedTypeFn): Tree =
1775+
infixOps(t, canStartInfixTypeTokens, operand, Location.ElseWhere, ParseKind.Type,
17761776
isOperator = !followingIsVararg() && !isPureArrow
17771777
&& nextCanFollowOperator(canStartInfixTypeTokens))
17781778

@@ -1837,6 +1837,10 @@ object Parsers {
18371837
*/
18381838
def annotType(): Tree = annotTypeRest(simpleType())
18391839

1840+
/** AnnotType1 ::= SimpleType1 {Annotation}
1841+
*/
1842+
def annotType1(): Tree = annotTypeRest(simpleType1())
1843+
18401844
def annotTypeRest(t: Tree): Tree =
18411845
if (in.token == AT)
18421846
annotTypeRest(atSpan(startOffset(t)) {
@@ -4055,8 +4059,10 @@ object Parsers {
40554059
syntaxError(em"extension clause can only define methods", stat.span)
40564060
}
40574061

4058-
/** GivenDef ::= [GivenSig] (AnnotType [‘=’ Expr] | StructuralInstance)
4059-
* GivenSig ::= [id] [DefTypeParamClause] {UsingParamClauses} ‘:’
4062+
/** GivenDef ::= [GivenSig] (GivenType [‘=’ Expr] | StructuralInstance)
4063+
* GivenSig ::= [id] [DefTypeParamClause] {UsingParamClauses} ‘:’
4064+
* GivenType ::= AnnotType1 {id [nl] AnnotType1}
4065+
* StructuralInstance ::= ConstrApp {‘with’ ConstrApp} [‘with’ WithTemplateBody]
40604066
*/
40614067
def givenDef(start: Offset, mods: Modifiers, givenMod: Mod) = atSpan(start, nameStart) {
40624068
var mods1 = addMod(mods, givenMod)
@@ -4082,8 +4088,12 @@ object Parsers {
40824088
val noParams = tparams.isEmpty && vparamss.isEmpty
40834089
if !(name.isEmpty && noParams) then acceptColon()
40844090
val parents =
4085-
if isSimpleLiteral then rejectWildcardType(annotType()) :: Nil
4086-
else refinedTypeRest(constrApp()) :: withConstrApps()
4091+
if isSimpleLiteral then
4092+
rejectWildcardType(annotType()) :: Nil
4093+
else constrApp() match
4094+
case parent: Apply => parent :: withConstrApps()
4095+
case parent if in.isIdent => infixTypeRest(parent, _ => annotType1()) :: Nil
4096+
case parent => parent :: withConstrApps()
40874097
val parentsIsType = parents.length == 1 && parents.head.isType
40884098
if in.token == EQUALS && parentsIsType then
40894099
accept(EQUALS)
@@ -4177,10 +4187,10 @@ object Parsers {
41774187

41784188
/* -------- TEMPLATES ------------------------------------------- */
41794189

4180-
/** ConstrApp ::= SimpleType1 {Annotation} {ParArgumentExprs}
4190+
/** ConstrApp ::= AnnotType1 {ParArgumentExprs}
41814191
*/
41824192
val constrApp: () => Tree = () =>
4183-
val t = rejectWildcardType(annotTypeRest(simpleType1()),
4193+
val t = rejectWildcardType(annotType1(),
41844194
fallbackTree = Ident(tpnme.ERROR))
41854195
// Using Ident(tpnme.ERROR) to avoid causing cascade errors on non-user-written code
41864196
if in.token == LPAREN then parArgumentExprss(wrapNew(t)) else t

‎docs/_docs/internals/syntax.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -191,6 +191,7 @@ MatchType ::= InfixType `match` <<< TypeCaseClauses >>>
191191
InfixType ::= RefinedType {id [nl] RefinedType} InfixOp(t1, op, t2)
192192
RefinedType ::= AnnotType {[nl] Refinement} RefinedTypeTree(t, ds)
193193
AnnotType ::= SimpleType {Annotation} Annotated(t, annot)
194+
AnnotType1 ::= SimpleType1 {Annotation} Annotated(t, annot)
194195
195196
SimpleType ::= SimpleLiteral SingletonTypeTree(l)
196197
| ‘?’ TypeBounds
@@ -458,8 +459,9 @@ ClassConstr ::= [ClsTypeParamClause] [ConstrMods] ClsParamClauses
458459
ConstrMods ::= {Annotation} [AccessModifier]
459460
ObjectDef ::= id [Template] ModuleDef(mods, name, template) // no constructor
460461
EnumDef ::= id ClassConstr InheritClauses EnumBody
461-
GivenDef ::= [GivenSig] (AnnotType [‘=’ Expr] | StructuralInstance)
462+
GivenDef ::= [GivenSig] (GivenType [‘=’ Expr] | StructuralInstance)
462463
GivenSig ::= [id] [DefTypeParamClause] {UsingParamClause} ‘:’ -- one of `id`, `DefTypeParamClause`, `UsingParamClause` must be present
464+
GivenType ::= AnnotType1 {id [nl] AnnotType1}
463465
StructuralInstance ::= ConstrApp {‘with’ ConstrApp} [‘with’ WithTemplateBody]
464466
Extension ::= ‘extension’ [DefTypeParamClause] {UsingParamClause}
465467
‘(’ DefTermParam ‘)’ {UsingParamClause} ExtMethods

‎docs/_docs/reference/syntax.md

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -200,8 +200,8 @@ SimpleType ::= SimpleLiteral
200200
| Singleton ‘.’ ‘type’
201201
| ‘(’ Types ‘)’
202202
| Refinement
203-
| SimpleType1 TypeArgs
204-
| SimpleType1 ‘#’ id
203+
| SimpleType TypeArgs
204+
| SimpleType ‘#’ id
205205
Singleton ::= SimpleRef
206206
| SimpleLiteral
207207
| Singleton ‘.’ id
@@ -392,7 +392,7 @@ LocalModifier ::= ‘abstract’
392392
AccessModifier ::= (‘private’ | ‘protected’) [AccessQualifier]
393393
AccessQualifier ::= ‘[’ id ‘]’
394394
395-
Annotation ::= ‘@’ SimpleType1 {ParArgumentExprs}
395+
Annotation ::= ‘@’ SimpleType {ParArgumentExprs}
396396
397397
Import ::= ‘import’ ImportExpr {‘,’ ImportExpr}
398398
Export ::= ‘export’ ImportExpr {‘,’ ImportExpr}
@@ -443,6 +443,7 @@ ObjectDef ::= id [Template]
443443
EnumDef ::= id ClassConstr InheritClauses EnumBody
444444
GivenDef ::= [GivenSig] (AnnotType [‘=’ Expr] | StructuralInstance)
445445
GivenSig ::= [id] [DefTypeParamClause] {UsingParamClause} ‘:’ -- one of `id`, `DefTypeParamClause`, `UsingParamClause` must be present
446+
GivenType ::= AnnotType {id [nl] AnnotType}
446447
StructuralInstance ::= ConstrApp {‘with’ ConstrApp} [‘with’ WithTemplateBody]
447448
Extension ::= ‘extension’ [DefTypeParamClause] {UsingParamClause}
448449
‘(’ DefTermParam ‘)’ {UsingParamClause} ExtMethods
@@ -452,7 +453,7 @@ ExtMethod ::= {Annotation [nl]} {Modifier} ‘def’ DefDef
452453
Template ::= InheritClauses [TemplateBody]
453454
InheritClauses ::= [‘extends’ ConstrApps] [‘derives’ QualId {‘,’ QualId}]
454455
ConstrApps ::= ConstrApp ({‘,’ ConstrApp} | {‘with’ ConstrApp})
455-
ConstrApp ::= SimpleType1 {Annotation} {ParArgumentExprs}
456+
ConstrApp ::= SimpleType {Annotation} {ParArgumentExprs}
456457
ConstrExpr ::= SelfInvocation
457458
| <<< SelfInvocation {semi BlockStat} >>>
458459
SelfInvocation ::= ‘this’ ArgumentExprs {ArgumentExprs}

‎tests/neg/i12348.check

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
-- [E040] Syntax Error: tests/neg/i12348.scala:2:15 --------------------------------------------------------------------
2-
2 | given inline x: Int = 0 // error
3-
| ^
4-
| 'with' expected, but identifier found
5-
-- [E040] Syntax Error: tests/neg/i12348.scala:3:10 --------------------------------------------------------------------
6-
3 |} // error
7-
| ^
8-
| '}' expected, but eof found
1+
-- [E040] Syntax Error: tests/neg/i12348.scala:2:16 --------------------------------------------------------------------
2+
2 | given inline x: Int = 0 // error // error
3+
| ^
4+
| an identifier expected, but ':' found
5+
-- [E067] Syntax Error: tests/neg/i12348.scala:2:8 ---------------------------------------------------------------------
6+
2 | given inline x: Int = 0 // error // error
7+
| ^
8+
|Declaration of given instance given_x_inline_<error> not allowed here: only classes can have declared but undefined members

‎tests/neg/i12348.scala

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
object A {
2-
given inline x: Int = 0 // error
3-
} // error
2+
given inline x: Int = 0 // error // error

‎tests/neg/i7045.scala

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
trait Bar { type Y }
2+
trait Foo { type X }
3+
4+
class Test:
5+
given a1(using b: Bar): Foo = new Foo { type X = b.Y } // ok
6+
given a2(using b: Bar): (Foo { type X = b.Y }) = new Foo { type X = b.Y } // ok
7+
given a3(using b: Bar): Foo { type X = b.Y } = new Foo { type X = b.Y } // error

‎tests/pos/i7045.scala

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

‎tests/pos/typeclass-aggregates.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ trait OrdWithMonoid extends Ord, Monoid
3030
def ordWithMonoid2(ord: Ord, monoid: Monoid{ type This = ord.This }) = //: OrdWithMonoid { type This = ord.This} =
3131
new OrdWithMonoid with ord.OrdProxy with monoid.MonoidProxy {}
3232

33-
given intOrd: Ord { type This = Int } = ???
34-
given intMonoid: Monoid { type This = Int } = ???
33+
given intOrd: (Ord { type This = Int }) = ???
34+
given intMonoid: (Monoid { type This = Int }) = ???
3535

3636
//given (using ord: Ord, monoid: Monoid{ type This = ord.This }): (Ord & Monoid { type This = ord.This}) =
3737
// ordWithMonoid2(ord, monoid)
@@ -42,6 +42,6 @@ val y: Int = ??? : x.This
4242
// given [A, B](using ord: A is Ord, monoid: A is Monoid) => A is Ord & Monoid =
4343
// new ord.OrdProxy with monoid.MonoidProxy {}
4444

45-
given [A](using ord: Ord { type This = A }, monoid: Monoid { type This = A}): (Ord & Monoid) { type This = A} =
45+
given [A](using ord: Ord { type This = A }, monoid: Monoid { type This = A}): ((Ord & Monoid) { type This = A}) =
4646
new ord.OrdProxy with monoid.MonoidProxy {}
4747

0 commit comments

Comments
 (0)