Wed May 22 22:53:28 EDT 2019


Give a proper semantics to indices.
EDIT: There is Ref and Def.  Make that visible in the printout.

EDIT: What I want is a variable that contains size, but also the
static notion of size.  There are two cases:

- during definition, size is a function of the loop indices

- after definition, size is a fixed number known at compile time

how to separate those phases clearly?

Let's give the latter a capital letter in the print rep.

Ok: once a loop is finished, the array's size is static.

EDIT: This feels like stuckness.  I'm focusing on a detail that does
not matter.

Basically, if all "defining" indices are the same, whenever an array
is referenced using anything other than its defining indices, it will
be complete.