Re: [GHC] #1249: Data.Map.map should be deprecated/removed

2008-07-10 Thread GHC
#1249: Data.Map.map should be deprecated/removed -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal | Status: closed Priority: normal | Milestone: Not

Re: [GHC] #1249: Data.Map.map should be deprecated/removed

2007-04-01 Thread GHC
#1249: Data.Map.map should be deprecated/removed -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal | Status: new Priority: normal | Milestone: Not

Re: [GHC] #1249: Data.Map.map should be deprecated/removed

2007-03-27 Thread GHC
#1249: Data.Map.map should be deprecated/removed -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal | Status: new Priority: normal | Milestone:

Re: [GHC] #1249: Data.Map.map should be deprecated/removed

2007-03-27 Thread GHC
#1249: Data.Map.map should be deprecated/removed -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal | Status: new Priority: normal | Milestone:

Re: [GHC] #1249: Data.Map.map should be deprecated/removed

2007-03-27 Thread GHC
#1249: Data.Map.map should be deprecated/removed -+-- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal | Status: new Priority: normal | Milestone:

[GHC] #1249: Data.Map.map should be deprecated/removed

2007-03-27 Thread GHC
#1249: Data.Map.map should be deprecated/removed +--- Reporter: [EMAIL PROTECTED] | Owner: Type: proposal | Status: new Priority: normal | Milestone: