Changeset a5e2682 for tests/array-container

Timestamp:

Oct 21, 2022, 12:13:25 PM (18 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, ast-experimental, master

Children:

9e042d8

Parents:

8bd886e

Message:

Improve new-array subscripting to cover missing cases.

Missing cases include acknowledging a[0] and a[1] as required uses; therefore, give them
special overloads. Add comments to explain why.

Missing cases include test coverage of these overloads (where tests actually fail when an overload
is missing). Perhaps surprisingly, you need to use a lot of features at the same time for the need
for several overloads to obtain; make test coverage go there.

Also, switch thesis's demo of mutidimensional transposing/slicing to use (improved) libcfa ar
(pseudo-)trait, in place of former ix trait. Therefore, also port this demo to new array
syntax. (No changes to thesis discussion around this demo yet; these are still pending.) All
in, cause this thesis demo to be runnable again.

Location:

tests/array-container

Files:

• .expect/array-sbscr-types.txt (added)
• array-basic.cfa (modified) (1 diff)
• array-sbscr-types.cfa (added)

tests/array-container/array-basic.cfa

@@ -78 +78 @@
 }
 
-forall( A & | ar(A, float) )
+forall( [N], A & | ar(A, float, N) )
 float total1d_hi( A & a ) {
     float total = 0.0f;
-    for (i; a`len)
+    for (i; N)
         total += a[i];
     return total;