Re: [GHC] #1832: universal quantification not dealt with earlier

#1832: universal quantification not dealt with earlier ---+ Reporter: guest | Owner: igloo Type: merge | Status: closed Priority: normal | Milestone: 6.8.2 Co

Re: [GHC] #1832: universal quantification not dealt with earlier

#1832: universal quantification not dealt with earlier ---+ Reporter: guest | Owner: igloo Type: merge | Status: new Priority: normal | Milestone: 6.8.2 Co

Re: [GHC] #1832: universal quantification not dealt with earlier

#1832: universal quantification not dealt with earlier ---+ Reporter: guest | Owner: Type: merge | Status: reopened Priority: normal | Milestone: 6.8.2 Co

Re: [GHC] #1832: universal quantification not dealt with earlier

#1832: universal quantification not dealt with earlier ---+ Reporter: guest | Owner: Type: bug| Status: closed Priority: normal | Milestone: 6.8.2 Co

Re: [GHC] #1832: universal quantification not dealt with earlier

#1832: universal quantification not dealt with earlier ---+ Reporter: guest | Owner: Type: bug| Status: new Priority: normal | Milestone: 6.8.2 Co

[GHC] #1832: universal quantification not dealt with earlier

#1832: universal quantification not dealt with earlier -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal| Component: Documentation