Undoc'd Feature?

[Wes Loewer]

(07-03-2022 09:38 AM)toml_12953 Wrote:  If it's not actually doing a decrement, it's an awfully big coincidence that it should still work the same, no?

You've got me really curious. What happens if you just drop the three -- in the original code?

Code:

IF (NOT(T:=A(X)-A(Y)) OR X-Y==ABS(T)) THEN
  Y:=0;
  // This is an infinite loop only if A(X) is false (zero).
  // If A(X) is true (not zero), then the loop is not executed at all.
  WHILE NOT A(X) DO  
    X; // does nothing
  END;
END;

Does it still produce the same result?