<div><div dir="auto">Agreed.  The min of a total order should be the min.  This seems to be a straight up bug. </div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, May 9, 2020 at 5:34 PM David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">I'd call that a bug in the Down instance myself, and a serious one!</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, May 9, 2020, 5:30 PM Joseph C. Sible <<a href="mailto:josephcsible@gmail.com" target="_blank">josephcsible@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Mon, May 4, 2020 at 7:55 AM Simon Jakobi via Libraries<br>
<<a href="mailto:libraries@haskell.org" rel="noreferrer" target="_blank">libraries@haskell.org</a>> wrote:<br>
><br>
> Are there any instances where<br>
><br>
> minBound <= x == True<br>
><br>
> and<br>
><br>
> maxBound >= x == True<br>
><br>
> don't hold for every x?<br>
<br>
Yes:<br>
<br>
minBound <= Data.Ord.Down (1 :: Int) == False<br>
<br>
IMO, this is kind of a wart in Down, as I commented at<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/881#note_271111" rel="noreferrer noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/881#note_271111</a><br>
<br>
Joseph C. Sible<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>