Re: [GHC] #7481: Partially promoted data types

2012-12-05 Thread GHC
#7481: Partially promoted data types -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.

Re: [GHC] #7481: Partially promoted data types

2012-12-05 Thread GHC
#7481: Partially promoted data types -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.

[GHC] #7481: Partially promoted data types

2012-12-05 Thread GHC
#7481: Partially promoted data types -+-- Reporter: simonpj | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.