On 09/01/2018 04:15 PM, Walter Bright wrote:
https://blog.regehr.org/archives/1091
This does make me think of one thing: Shouldn't assert expressions be required to be pure? (even if only weakly pure)
Not sure how much practical problems that would create, but at least in theory it certainly sounds like the right thing.
