|
|
@@ -12,6 +12,7 @@ SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
|
|
- [TODO](#todo)
|
|
|
- [Overview](#overview)
|
|
|
+ - [Empty tuples](#empty-tuples)
|
|
|
- [Indices as compile-time constants](#indices-as-compile-time-constants)
|
|
|
- [Operations performed field-wise](#operations-performed-field-wise)
|
|
|
- [Open questions](#open-questions)
|
|
|
@@ -70,6 +71,11 @@ fn Baz(x: i32, y: i32, z: i32) -> (i32, i32) {
|
|
|
This code first reverses the tuple, and then extracts a slice using a half-open
|
|
|
range of indices.
|
|
|
|
|
|
+### Empty tuples
|
|
|
+
|
|
|
+`()` is the empty tuple. This is used in other parts of the design, such as
|
|
|
+[functions](functions.md).
|
|
|
+
|
|
|
### Indices as compile-time constants
|
|
|
|
|
|
In the example `t1[(2, 1, 0)]`, we will likely want to restrict these indices to
|
Jon Ross-Perkins