[sc34wg3] Possible TMRM issue

[Lars Marius Garshol]

* Robert Barta
>
> Good thinking, but no. Once the proxy is 'flattened out' (we only have
> in it there labels and primitive values) the 'computation' of the  
> label
> is trivial. No complexity here in terms of climbing down something or
> following up references.

Well, obviously. But in the case where we have two proxies with  
labels A and B as follows:

   A: {(B, "bar")}
   B: {(A, "foo")}

Won't the value of A's label here depend on the label given to B? And  
vice versa?

I won't be too surprised if the answer is "no", I just haven't been  
fully satisfied that it is yet.

--
Lars Marius Garshol, Ontopian               http://www.ontopia.net
+47 98 21 55 50                             http://www.garshol.priv.no