On 3/6/18 5:27 PM, Timon Gehr wrote:
The reasoning "the reference is stored in the type yet not part of the type" does not work for pure functions, as then you cannot offer an alternative explanation in terms of an external data store.
Yeah, the more I think about it, the more I think the context pointer simply needs to be part of the instance in the type system. I posted a threading issue elsewhere.
The problem is, correcting the bug will break a lot of code. -Steve