Re: [GHC] #5198: -ddump-to-file should deposit files in target not source directory

2011-11-18 Thread GHC
#5198: -ddump-to-file should deposit files in target not source directory -+-- Reporter: ezyang|Owner: igloo Type: bug | Status: new Priority: normal

Re: [GHC] #5198: -ddump-to-file should deposit files in target not source directory

2011-11-18 Thread GHC
#5198: -ddump-to-file should deposit files in target not source directory ---+ Reporter: ezyang| Owner: igloo Type: bug | Status: closed Priority: normal

Re: [GHC] #5198: -ddump-to-file should deposit files in target not source directory

2011-07-15 Thread GHC
#5198: -ddump-to-file should deposit files in target not source directory -+-- Reporter: ezyang|Owner: igloo Type: bug | Status: new Priority: normal

[GHC] #5198: -ddump-to-file should deposit files in target not source directory

2011-05-15 Thread GHC
#5198: -ddump-to-file should deposit files in target not source directory -+-- Reporter: ezyang| Owner: Type: bug | Status: new Priority: normal