Re: [Tinycc-devel] enforced immutability - proposed research project

[Bruno Haible]

Elijah Stone wrote:
> The problem is, without a fixed offset between the mutable and immutable 
> spaces, certain desirable semantics become harder to implement.  For 
> example, we want mutable and immutable references to the same object to 
> compare equal.

True. A comparison

  struct data *wp;
  struct data const *p;
  wp == p

would, in some cases, need to be implemented as

  immfreeze (wp) == p

Bruno