On 07/30/2014 07:46 PM, Andrei Alexandrescu wrote:
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
You seem to be close to enlightenment:
http://www.madore.org/~david/zen/#conc.dualism
