-
simonpj authored
-------------------------------------------- Fix a bugs in type inference for rank-N types -------------------------------------------- We discovered this bug when looking at type rules! 1. When type checking (e :: sigma-ty), we must specialise sigma-ty, else we lose the invariant that tcMonoType has. 2. In tcExpr_id, we should pass in a Hole tyvar not an ordinary tyvar. As usual, I moved some functions around in consequence.
e7030995