-
Simon Peyton Jones authored
------------------------------- Fix bugs in rank-N polymorphism ------------------------------- Discussion with Mark showed up some bugs in the rank-N polymorphism stuff, especally concerning the treatment of 'hole' type variables. See especially TcMType: newHoleTyVar readHoleResult zapToType Also the treatment of conditionals and case branches is done right now, using zapToType
aaed1181