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:

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:

[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: