Discussion Thread: DIP 1042--ProtoObject--Community Review Round 1

Sat Jan 15 06:20:03 UTC 2022

On Saturday, 15 January 2022 at 05:07:02 UTC, Elronnd wrote:
> On Friday, 14 January 2022 at 23:51:37 UTC, Ola Fosheim Grøstad 
> wrote:
>> Yet x < x+1 does not hold for any types in D. So much for 
>> ordering principles...
>
> Hm, we do have !(x > x+1) for floats...

That is equivalent to x <= x+1 so that holds for numerical 
floats, but x < x+1 does not.