Re: opCmp, [partial/total/pre]orders, custom floating point types etc.

[John Colvin via Digitalmars-d]

On Tuesday, 12 January 2016 at 19:44:18 UTC, Fool wrote:

On Tuesday, 12 January 2016 at 19:21:47 UTC, John Colvin wrote:

Note that a non-reflexive <= doesn't imply anything about ==.

Non-reflexive '<=' does not make any sense at all.

It might be a bit of a mess, agreed, but nonetheless:

assert(!(float.nan <= float.nan));