Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-03-10 Thread GHC
#4842: keep Data.Map.foldWithKey +--- Reporter: maeder | Owner: Type: proposal | Status: closed Priority: normal | Milestone:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-03-09 Thread GHC
#4842: keep Data.Map.foldWithKey +--- Reporter: maeder | Owner: Type: proposal | Status: patch Priority: normal | Milestone:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-02-07 Thread GHC
#4842: keep Data.Map.foldWithKey +--- Reporter: maeder | Owner: Type: proposal | Status: new Priority: normal | Milestone:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-02-07 Thread GHC
#4842: keep Data.Map.foldWithKey +--- Reporter: maeder | Owner: Type: proposal | Status: patch Priority: normal | Milestone:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-02-05 Thread GHC
#4842: keep Data.Map.foldWithKey +--- Reporter: maeder | Owner: Type: proposal | Status: closed Priority: normal | Milestone:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-01-17 Thread GHC
#4842: keep Data.Map.foldWithKey --+- Reporter: maeder |Owner: Type: proposal | Status: patch Priority: normal |Milestone: Not GHC

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-01-14 Thread GHC
#4842: keep Data.Map.foldWithKey --+- Reporter: maeder |Owner: Type: proposal | Status: new Priority: normal |Milestone: Not GHC

Re: [GHC] #4842: keep Data.Map.foldWithKey

2011-01-13 Thread GHC
#4842: keep Data.Map.foldWithKey --+- Reporter: maeder |Owner: Type: proposal | Status: new Priority: normal |Milestone: Not GHC

Re: [GHC] #4842: keep Data.Map.foldWithKey

2010-12-20 Thread GHC
#4842: keep Data.Map.foldWithKey --+- Reporter: maeder |Owner: Type: proposal | Status: new Priority: normal |Milestone: Not GHC

[GHC] #4842: keep Data.Map.foldWithKey

2010-12-14 Thread GHC
#4842: keep Data.Map.foldWithKey -+-- Reporter: maeder| Owner: Type: proposal | Status: new Priority: normal| Component:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2010-12-14 Thread GHC
#4842: keep Data.Map.foldWithKey -+-- Reporter: maeder| Owner: Type: proposal | Status: new Priority: normal| Component:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2010-12-14 Thread GHC
#4842: keep Data.Map.foldWithKey -+-- Reporter: maeder| Owner: Type: proposal | Status: new Priority: normal| Component:

Re: [GHC] #4842: keep Data.Map.foldWithKey

2010-12-14 Thread GHC
#4842: keep Data.Map.foldWithKey -+-- Reporter: maeder| Owner: Type: proposal | Status: new Priority: normal| Component: