Re: [GHC] #1746: GADT bug with -O2

2007-10-12 Thread GHC
#1746: GADT bug with -O2 -+-- Reporter: igloo |Owner: igloo Type: merge | Status: closed Priority: normal|Milestone: 6.8.1 Component: Compiler | Version: 6.

Re: [GHC] #1746: GADT bug with -O2

2007-10-10 Thread GHC
#1746: GADT bug with -O2 -+-- Reporter: igloo |Owner: igloo Type: merge | Status: new Priority: normal|Milestone: 6.8.1 Component: Compiler | Version: 6.

Re: [GHC] #1746: GADT bug with -O2

2007-09-29 Thread GHC
#1746: GADT bug with -O2 -+-- Reporter: igloo |Owner: Type: bug | Status: new Priority: normal|Milestone: 6.8.1 Component: Compiler | Version: 6.

[GHC] #1746: GADT bug with -O2

2007-09-28 Thread GHC
#1746: GADT bug with -O2 ---+ Reporter: igloo | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.8.1 Component: Compiler |Version: 6.8