Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2013-01-04 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-12-02 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-11-17 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-10-05 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-07-24 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-06-28 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-05-16 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-05-09 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2012-01-04 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2011-02-01 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2011-01-31 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2011-01-31 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2011-01-31 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2011-01-30 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2011-01-04 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-23 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-22 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-22 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-22 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-22 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-21 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-21 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-09-11 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-07-31 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-06-17 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: simonpj Type: bug | Status: new Priority: high

[GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate

2010-03-18 Thread GHC
#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -+-- Reporter: simonpj |Owner: Type: bug | Status: new Priority: normal