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