Changeset 292d6cf6

Timestamp:

Oct 30, 2024, 11:05:41 PM (3 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

b7921d8

Parents:

520fa9e (diff), 5485bcac (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/proposals/tuples.md (modified) (2 diffs)

doc/proposals/tuples.md

@@ -240 +240 @@
 allow restructuring when the type is passed as a type value. This may be
 the most correct form, but seems surprising compared to the common use.
+
+### Tuple Arrays Not Supported
+
+You cannot make an array of tuples. For some reason the type just will not
+work. Thoretically it could, each tuple type has a size and alignment and
+could be put in an array. However the following type is not accepted:
+
+        [int, char] array[3] = {{1, 'a'}, {2, 'b'}, {3, 'c'}};
+
+Now the opposite, a tuple containing an array, does actually work:
+
+        [int[3], char] data = {{1, 2, 3}, 'd'};
 
 ### Unary Tuple Value Syntax
@@ -539 +551 @@
         ([int, int, int])tuple_int_int;
         ([long, [float, int]])tuple_long_float_int;
+
+### Tuple Array Support
+
+Arrays of unstructured tuples/packs are not actually required, an array of
+structures will store the data just as well and this is not the transient
+context where the unlabeled tuples work well. So it would work fine to
+not allow an array of packs, but if we do not a better error should be
+created.
+
+All that being said, the following could just work.
+
+        [int, char] u_array[3] = {...};
+
+What should definitely work is an array of struct tuple, because that should
+work where a generic structure could be used. This is also part of why arrays
+of packs are not needed.
+
+        tuple([int, char]) s_array[3] = {...};
 
 ### New Tuple Literal Syntax