Re: [GHC] #1330: Impredicativity bug: Church2 test gives a rather confusing error with the HEAD

2009-04-11 Thread GHC
#1330: Impredicativity bug: Church2 test gives a rather confusing error with the HEAD +--- Reporter: igloo|Owner: simonpj Type: bug | Status: new

Re: [GHC] #1330: Impredicativity bug: Church2 test gives a rather confusing error with the HEAD

2007-08-23 Thread GHC
#1330: Impredicativity bug: Church2 test gives a rather confusing error with the HEAD +--- Reporter: igloo|Owner: simonpj Type: bug | Status: new

Re: [GHC] #1330: Impredicativity bug: Church2 test gives a rather confusing error with the HEAD

2007-07-31 Thread GHC
#1330: Impredicativity bug: Church2 test gives a rather confusing error with the HEAD +--- Reporter: igloo|Owner: simonpj Type: bug | Status: new