Missing production rule

[danecek]

Missing production rule for TypeParamClause and TypeArgs in https://docs.scala-lang.org/scala3/reference/syntax.html

TypeDcl ::= id [TypeParamClause] {FunParamClause} TypeBounds [‘=’ Type] ;
SimpleType ::= SimpleLiteral
| ‘?’ TypeBounds
| id
| Singleton ‘.’ id
| Singleton ‘.’ ‘type’
| ‘(’ Types ‘)’
| Refinement
| ‘$’ ‘{’ Block ‘}’ -- unless inside quoted pattern
| ‘$’ ‘{’ Pattern ‘}’ -- only inside quoted pattern
| SimpleType1 TypeArgs

[bishabosha]

I think it is a typo and it should be HkTypeParamClause, but TypeArgs is listed on the page as

TypeArgs          ::=  ‘[’ Types ‘]’ ;

[danecek]

I am sorry for my mistake. Probably I exchanged SimpleType1 for TypeArgs when I paste-copied from the rule to the comment.

[bishabosha]

I opened scala/scala3#16166 to track this, seeing as that is where the source for the scala 3 reference is