Questions regarding Bounded

[David Feuer]

I'd call that a bug in the Down instance myself, and a serious one!

On Sat, May 9, 2020, 5:30 PM Joseph C. Sible <josephcsible at gmail.com> wrote:

> On Mon, May 4, 2020 at 7:55 AM Simon Jakobi via Libraries
> <libraries at haskell.org> wrote:
> >
> > Are there any instances where
> >
> > minBound <= x == True
> >
> > and
> >
> > maxBound >= x == True
> >
> > don't hold for every x?
>
> Yes:
>
> minBound <= Data.Ord.Down (1 :: Int) == False
>
> IMO, this is kind of a wart in Down, as I commented at
> https://gitlab.haskell.org/ghc/ghc/-/merge_requests/881#note_271111
>
> Joseph C. Sible
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200509/8707c2c0/attachment.html>