Re: [GHC] #3085: warn about language extensions that are not used

2010-12-15 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Priority: n

Re: [GHC] #3085: warn about language extensions that are not used

2010-11-02 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Priority: n

Re: [GHC] #3085: warn about language extensions that are not used

2010-09-14 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Priority: n

Re: [GHC] #3085: warn about language extensions that are not used

2010-05-27 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Priority: n

Re: [GHC] #3085: warn about language extensions that are not used

2010-04-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Priority: n

Re: [GHC] #3085: warn about language extensions that are not used

2009-11-23 Thread GHC
#3085: warn about language extensions that are not used --+- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority

Re: [GHC] #3085: warn about language extensions that are not used

2009-11-21 Thread GHC
#3085: warn about language extensions that are not used --+- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority

Re: [GHC] #3085: warn about language extensions that are not used

2009-04-15 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-04-05 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-13 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen |Owner: Type: feature request | Status: new Prio

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used --+- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority:

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used --+- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority:

Re: [GHC] #3085: warn about language extensions that are not used

2009-03-12 Thread GHC
#3085: warn about language extensions that are not used --+- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority:

[GHC] #3085: warn about language extensions that are not used

2009-03-11 Thread GHC
#3085: warn about language extensions that are not used -+-- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority: n