[m-dev.] Array modes

[Zoltan Somogyi]

On Sat, 25 Oct 2014 19:33:13 +1100, Peter Wang <novalazy at gmail.com> wrote:
> I understood `unique' to mean unique at every node, by the analogy with
> `ground' meaning bound at every node.  Page 59 of dmo's thesis supports
> this; at least, I can't read it any other way.

People who want to know what "unique" means won't be looking
in a thesis.

The problem is that I don't think the original question has
a clearcut answer either way. Because we don't have alias
tracking, uniqueness has only really been useful for values
of types which have only one OR node. For these, as I said,
the two notions of uniqueness coincide, and there simply
hasn't been a need to distinguish between them. The only
exception to this that I can think of right now is the work
on ctgc, which manipulates insts it discovers and creates
automatically, not insts written by a programmer. The
mapping between compiler-internal insts and how insts
appear in source code therefore isn't very relevant
there either.

Zoltan.