From a2bbef0f2a6514982492da01ef20e3ed7ce32436 Mon Sep 17 00:00:00 2001 From: Jamie Thompson Date: Fri, 22 Sep 2023 13:09:59 +0200 Subject: [PATCH] [spec] some fixes to tuples --- docs/_spec/03-types.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_spec/03-types.md b/docs/_spec/03-types.md index 1cf58b789182..407a69b8c8c5 100644 --- a/docs/_spec/03-types.md +++ b/docs/_spec/03-types.md @@ -239,13 +239,13 @@ SimpleType1 ::= ... | ‘(’ TypesOrWildcards ‘)’ ``` -A _tuple type_ ´(T_1, ..., T_n)´ where ´n \geq 2´ is sugar for the type `´T_1´ *: ... *: ´T_n´ *: scala.EmptyTuple`, which is itself a series of nested infix types which are sugar for `*:[´T_1´, *:[´T_2´, ... *[´T_n´, scala.EmptyTuple]]]`. +A _tuple type_ ´(T_1, ..., T_n)´ where ´n \geq 2´ is sugar for the type `´T_1´ *: ... *: ´T_n´ *: scala.EmptyTuple`, which is itself a series of nested infix types which are sugar for `*:[´T_1´, *:[´T_2´, ... *:[´T_n´, scala.EmptyTuple]]]`. The ´T_i´ can be wildcard type arguments. Notes: - `(´T_1´)` is the type ´T_1´, and not `´T_1´ *: scala.EmptyTuple` (´T_1´ cannot be a wildcard type argument in that case). -- `()` is not a valid type (not even `scala.EmptyTuple`). +- `()` is not a valid type (i.e. it is not desugared to `scala.EmptyTuple`). ### Concrete Refined Types