On 7/30/14, 9:20 AM, Walter Bright wrote:
On 7/30/2014 7:51 AM, Andrei Alexandrescu wrote:Also, it's unclear to me what the optimizer would be supposed to do if an assumption turns out to be false.The program is no longer valid at that point.
So then: assert == assume assert === assume (per proposed notation) assert is assume assert <= assume assume <= assert assert.opEquals(assume) assert.opCmp(assume) == 0 Andrei
