Skip to content

Commit bffb064

Browse files
committed
Add bullet on generic tuples
1 parent 1a0774c commit bffb064

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

docs/docs/reference/overview.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,10 @@ The primary goal of the language constructs in this section is to make the langu
4242

4343
Traits can now have value parameters, just like classes do. This replaces the more complex [early initializer](http://dotty.epfl.ch/docs/reference/dropped/early-initializers.html) syntax.
4444

45+
- Generic tuples
46+
47+
([Pending](https://github.com/lampepfl/dotty/pull/2199)) Generic tuples treat a tuple with arbitrary elements as a nested sequence of pairs. E.g. `(a, b, c)` is shorthand `(a, (b, (c, ())))`. This lets us drop the current limit of 22 for maximal tuple length and allows generic programs over tuples analogous to what is done for `HList`s.
48+
4549
<a name="safety"></a>
4650
## Safety
4751

0 commit comments

Comments
 (0)