> On Nov 24, 2015, at 11:35 AM, Robby Findler <[email protected]> > wrote: > > It's definitely a mess and a very unfriendly behavior!! > > Maybe worth a note in teh docs for 'sort'? With the example you posted?
I shortened it up to a single sentence & made a pull request. Thanks for your help, John > > Robby > > On Tue, Nov 24, 2015 at 1:30 PM, 'John Clements' via dev-redirect > <[email protected]> wrote: >> >>> On Nov 24, 2015, at 11:15 AM, Robby Findler <[email protected]> >>> wrote: >>> >>> Yes: I would say that we cannot change < in #lang racket, but a new >>> design of a number system that does something different isn't out of >>> the possibility. There is a lot of tricky design issues, tho. >> >> Sorry, I’m not proposing any change at all to … ah, I see, sorting is >> parameterized over the predicate, so this is necessarily a discussion about >> <, not a discussion about sort. >> >> Sorry for the noise, >> >> John >> >> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-dev/d7a85ef0-09be-4595-a532-e6e0b38155b5%40mtasv.net. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAL3TdOPgoZ_X63Bk-FgwghML%2BTNjnn7Onb2Bo%3DC8VpJRFhqCjQ%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/f10cdb2f-8330-449d-aecc-7301b178d695%40mtasv.net. For more options, visit https://groups.google.com/d/optout.
