On 2/12/16 10:10 PM, tsbockman wrote:
Cool. Then this technique could also be used to address Timon Gehr's concerns about violating the type system, if necessary.
Regarding that. Not sure what he meant, but it dawned on me we've never mentioned in the language spec that using synchronization unnecessarily for non-shared data and also using no synchronization (in the same thread) is fine. -- Andrei
