Bugs item #643878, was opened at 2002-11-25 17:12
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=643878&group_id=8032
Category: Prelude
Group: 5.04.1
>Status: Closed
Resolution: Fixed
Priority: 7
Submitted By: Mike Gunter (magunter)
Assigned to: Nobody/A
Bugs item #643878, was opened at 2002-11-26 01:12
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=643878&group_id=8032
Category: Prelude
Group: 5.04.1
>Status: Open
Resolution: Fixed
Priority: 7
Submitted By: Mike Gunter (magunter)
Assigned to: Nobody/Ano
Bugs item #643878, was opened at 2002-11-26 01:12
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=643878&group_id=8032
Category: Prelude
Group: 5.04.1
>Status: Closed
>Resolution: Fixed
Priority: 7
Submitted By: Mike Gunter (magunter)
Assigned to: Nobody/
In local.glasgow-haskell-bugs, you wrote:
> The library report requires that sortBy be stable. In
> 5.04.1 it isn't:
It looks like the change to mergesort broke this property:
#ifdef USE_REPORT_PRELUDE
sort = sortBy compare
sortBy cmp = foldr (insertBy cmp) []
#else
sortBy cmp l = mergesort cmp
In local.glasgow-haskell-bugs, you wrote:
> The library report requires that sortBy be stable. In
> 5.04.1 it isn't:
[Simon, I must have missed that ghc-bugs is subscribers-only]
There's an #ifdef'ed version in there which is stable, but the
newer mergesort is not:
#ifdef USE_REPORT_PRELUDE
sort
Bugs item #643878, was opened at 2002-11-26 01:12
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=643878&group_id=8032
Category: Prelude
Group: 5.04.1
Status: Open
Resolution: None
>Priority: 7
Submitted By: Mike Gunter (magunter)
Assigned to: Nobody/Anon
Bugs item #643878, was opened at 2002-11-26 01:12
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=643878&group_id=8032
Category: Prelude
Group: 5.04.1
Status: Open
Resolution: None
Priority: 5
Submitted By: Mike Gunter (magunter)
Assigned to: Nobody/Anony
