Re: [GHC] #2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith

2008-10-21 Thread GHC
#2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith --+- Reporter: Bart Massey | Owner: Type: proposal | Status: closed Priority: normal|

Re: [GHC] #2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith

2008-10-12 Thread GHC
#2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith --+- Reporter: Bart Massey | Owner: Type: proposal | Status: new Priority: normal|

Re: [GHC] #2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith

2008-09-28 Thread GHC
#2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith ---+ Reporter: Bart Massey |Owner: Type: proposal| Status: new Priority: normal |Milestone:

Re: [GHC] #2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith

2008-09-28 Thread GHC
#2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith ---+ Reporter: Bart Massey |Owner: Type: proposal| Status: new Priority: normal |Milestone:

[GHC] #2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith

2008-09-28 Thread GHC
#2629: Data.List: Replace nub; add nubOrd, nubInt, nubWith +--- Reporter: Bart Massey | Owner: Type: proposal | Status: new Priority: normal | Component: l