Re: [GHC] #2800: deprecated OPTIONS flag warnings generated during dep chasing?

2009-07-26 Thread GHC
#2800: deprecated OPTIONS flag warnings generated during dep chasing? -+-- Reporter: duncan|Owner: Type: bug | Status: closed Priority: nor

Re: [GHC] #2800: deprecated OPTIONS flag warnings generated during dep chasing?

2008-11-27 Thread GHC
#2800: deprecated OPTIONS flag warnings generated during dep chasing? -+-- Reporter: duncan|Owner: Type: bug | Status: new Priority: nor

[GHC] #2800: deprecated OPTIONS flag warnings generated during dep chasing?

2008-11-22 Thread GHC
#2800: deprecated OPTIONS flag warnings generated during dep chasing? -+-- Reporter: duncan| Owner: Type: bug | Status: new Priority: norma