[erlang-questions] Re:

[Bjorn Gustavsson]

On Thu, Sep 17, 2009 at 1:18 PM, Michael Turner <leap@REDACTED> wrote:
>>>
>>> That ensures that identical looking elements in the tuple are sharing
>>> memory locations.  But there is absolutely no reason the compiler has
>>> to do this.  It would be perfectly valid to optimize away the entire
>>> function, just returning the original value.
>>
>>We have no intention of introducing "optimizations" that would break
>>that code.
>
> But is James correct in implying that the semantics of Erlang admit of
> such interpretations?

Probably. As far as I know, there is no specification or documentation
that explicitly says that an Erlang implementation must preserve
sharing within a process.

/Bjorn
-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB