10 May
2020
10 May
'20
5:34 a.m.
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@gmail.com> wrote:
On Mon, May 4, 2020 at 7:55 AM Simon Jakobi via Libraries <libraries@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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries