Fix and simplify grammar in SIP - scala#47

As noted in scala#47, the grammar did not correspond to the rest of the proposal, this PR solves that
odersky · Jul 15, 2024 · 974a5d7 · 974a5d7
1 parent a55f5e9
commit 974a5d7
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/content/clause-interleaving.md b/content/clause-interleaving.md
@@ -103,14 +103,13 @@ It provides the best of all worlds:
 
 ### Specification
 We amend the syntax of def parameter clauses as follows:
-
 ~~~
 DefDcl                 ::=  DefSig ‘:’ Type
 DefDef                 ::=  DefSig [‘:’ Type] ‘=’ Expr
-DefSig                 ::=  id [DefParamClauses] [DefImplicitClause]
-DefParamClauses        ::=  DefParamClauseChunk {DefParamClauseChunk}
-DefParamClauseChunk    ::=  [DefTypeParamClause] TermOrUsingParamClause {TermOrUsingParamClause}
-TermOrUsingParamClause ::=  DefTermParamClause
+DefSig                 ::=  id [DefParamClauses] [DefImplicitClause]    -- and two DefTypeParamClause cannot be adjacent
+DefParamClauses        ::=  DefParamClause { DefParamClause }
+DefParamClause         ::=  DefTypeParamClause
+                         |  DefTermParamClause
                          |  UsingParamClause
 DefTypeParamClause     ::=  [nl] ‘[’ DefTypeParam {‘,’ DefTypeParam} ‘]’
 DefTypeParam           ::=  {Annotation} id [HkTypeParamClause] TypeParamBounds