Re: [GHC] #7433: Promoted constructors accepted without flag

2012-11-29 Thread GHC
#7433: Promoted constructors accepted without flag ---+ Reporter: dreixel | Owner: Type: bug | Status: closed Priority: normal|

Re: [GHC] #7433: Promoted constructors accepted without flag

2012-11-21 Thread GHC
#7433: Promoted constructors accepted without flag -+-- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal|

Re: [GHC] #7433: Promoted constructors accepted without flag

2012-11-21 Thread GHC
#7433: Promoted constructors accepted without flag -+-- Reporter: dreixel | Owner: Type: bug | Status: merge Priority: normal|

Re: [GHC] #7433: Promoted constructors accepted without flag (was: Promoted types accepted without flag)

2012-11-20 Thread GHC
#7433: Promoted constructors accepted without flag -+-- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal|