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
Basically, if all "defining" indices are the same, whenever an array
is referenced using anything other than its defining indices, it will