Re: [GHC] #7194: Typechecker allows a skolem to escapt

2012-10-11 Thread GHC
#7194: Typechecker allows a skolem to escapt ---+ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal|

Re: [GHC] #7194: Typechecker allows a skolem to escapt

2012-10-11 Thread GHC
#7194: Typechecker allows a skolem to escapt ---+ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal|