Re: [GHC] #2716: ghci uses an enormous amount of memory (recent 6.10 snapshots)

2008-10-21 Thread GHC
#2716: ghci uses an enormous amount of memory (recent 6.10 snapshots) --+- Reporter: ravi | Owner: Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #2716: ghci uses an enormous amount of memory (recent 6.10 snapshots)

2008-10-21 Thread GHC
#2716: ghci uses an enormous amount of memory (recent 6.10 snapshots) --+- Reporter: ravi | Owner: Type: bug | Status: new Priority: normal| Milestone:

Re: [GHC] #2716: ghci uses an enormous amount of memory (recent 6.10 snapshots)

2008-10-21 Thread GHC
#2716: ghci uses an enormous amount of memory (recent 6.10 snapshots) --+- Reporter: ravi | Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #2716: ghci uses an enormous amount of memory (recent 6.10 snapshots)

2008-10-21 Thread GHC
#2716: ghci uses an enormous amount of memory (recent 6.10 snapshots) --+- Reporter: ravi | Owner: Type: bug | Status: new Priority: high | Milestone:

Re: [GHC] #2716: ghci uses an enormous amount of memory (recent 6.10 snapshots)

2008-10-21 Thread GHC
#2716: ghci uses an enormous amount of memory (recent 6.10 snapshots) --+- Reporter: ravi | Owner: Type: bug | Status: closed Priority: high | Milestone:

[GHC] #2716: ghci uses an enormous amount of memory (recent 6.10 snapshots)

2008-10-20 Thread GHC
#2716: ghci uses an enormous amount of memory (recent 6.10 snapshots) ---+ Reporter: ravi| Owner: Type: bug | Status: new Priority: normal |