On 17.10.2018 09:20, Manu wrote:
Timon Gehr has done a good job showing that they still stand
unbreached.
His last comment was applied to a different proposal.
His only comment on this thread wasn't in response to the proposal in
this thread.
If you nominate Timon as your proxy, then he needs to destroy my
proposal, or at least comment on it, rather than make some prejudiced
comment generally.
There is no "prejudice", just reasoning. Your proposal was "disallow
member access on shared aggregates, allow implicit conversion from
unshared to shared and keep everything else the same". This is a bad
proposal. There may be a good proposal that allows the things you want,
but you have not stated what they are, your OP was just: "look at this
bad proposal, it might work, no?" I said no, then was met with some
hostility.
You should focus on finding a good proposal that achieves what you want
without breaking the type system instead of attacking me.
