<div dir="ltr"><div class="gmail_signature" data-smartmail="gmail_signature">Hi all!</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div class="gmail_signature" data-smartmail="gmail_signature">Swift.min (and Swift.max) propagates nan or not depending on the order of its args:</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature">Swift.min(1.0, .nan) // 1.0</div><div class="gmail_signature" data-smartmail="gmail_signature">Swift.min(.nan, 1.0) // nan (!)</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature">Double.minimum(1.0, .nan) // 1.0</div><div class="gmail_signature" data-smartmail="gmail_signature">Double.minimum(.nan, 1.0) // 1.0</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature">fmin(1.0, .nan) // 1.0</div><div class="gmail_signature" data-smartmail="gmail_signature">fmin(.nan, 1.0) // 1.0</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div></div><div class="gmail_signature" data-smartmail="gmail_signature">The new static minimum and maximum funcs on FloatingPoint in Swift 3 shows the expected behaviour (ie the same as fmin, fmax and IEEE-754), so what should happen with Swift.min and Swift.max?</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature">Fix, remove or perhaps something else?</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature"><a href="https://bugs.swift.org/browse/SR-1011">https://bugs.swift.org/browse/SR-1011</a><br></div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div><div class="gmail_signature" data-smartmail="gmail_signature">/Jens</div><div class="gmail_signature" data-smartmail="gmail_signature"><br></div>
</div>