Re: [GHC] #7194: Typechecker allows a skolem to escapt
#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
#7194: Typechecker allows a skolem to escapt ---+ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal|