Re: Questions regarding Bounded

The question of the Enum instance is left a bit unsatisfactory. It can either match the Num instance or the Bounded instance but not both. Ugh! On Sat, May 9, 2020, 5:51 PM Carter Schonwald wrote:

Agreed. The min of a total order should be the min. This seems to be a straight up bug.

On Sat, May 9, 2020 at 5:34 PM David Feuer wrote:

...

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 wrote:

...

On Mon, May 4, 2020 at 7:55 AM Simon Jakobi via Libraries 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries