• Simon Peyton Jones's avatar
    [project @ 2002-02-13 15:14:06 by simonpj] · e7030995
    Simon Peyton Jones 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.