diff options
| author | Som Snytt <som.snytt@gmail.com> | 2014-05-07 09:14:57 -0700 |
|---|---|---|
| committer | Som Snytt <som.snytt@gmail.com> | 2014-05-07 09:14:57 -0700 |
| commit | b185cbdeeda030df11a9459eb53c426a9c9a4555 (patch) | |
| tree | 0a07bd107df3a0331373e7be32aabddc5e0cd13f /spec/03-types.md | |
| parent | 9ad96d07ee9d1ef1a9a072873711ff911caafc71 (diff) | |
| download | scala-b185cbdeeda030df11a9459eb53c426a9c9a4555.tar.gz scala-b185cbdeeda030df11a9459eb53c426a9c9a4555.tar.bz2 scala-b185cbdeeda030df11a9459eb53c426a9c9a4555.zip | |
SI-8325 Spec accepts infix type *
Remove the clause in 3.2.8 that reserves `*` as a postfix
modifier thing. For emphasis, the language that an infix
type name can be an arbitrary identifier is retained, sans buts.
Diffstat (limited to 'spec/03-types.md')
| -rw-r--r-- | spec/03-types.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index 66ddee8b7e..4a02c7a8c1 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -352,8 +352,7 @@ An infix type $T_1$ `op` $T_2$ consists of an infix operator `op` which gets applied to two type operands $T_1$ and $T_2$. The type is equivalent to the type application `op`$[T_1, T_2]$. The infix operator `op` may be an -arbitrary identifier, except for `*`, which is reserved as a postfix modifier -denoting a [repeated parameter type](04-basic-declarations-and-definitions.html#repeated-parameters). +arbitrary identifier. All type infix operators have the same precedence; parentheses have to be used for grouping. The [associativity](06-expressions.html#prefix-infix-and-postfix-operations) |