Re: [GHC] #3013: New simple GADT feature
#3013: New simple GADT feature -+-- Reporter: guest |Owner: simonpj Type: feature request | Status: closed Priority: normal|Milestone: 6.12.1
Re: [GHC] #3013: New simple GADT feature
#3013: New simple GADT feature -+-- Reporter: guest |Owner: Type: feature request | Status: new Priority: normal|Milestone: 6.12.1
[GHC] #3013: New simple GADT feature
#3013: New simple GADT feature -+-- Reporter: guest | Owner: Type: feature request | Status: new Priority: normal| Component: Compiler