• simonpj's avatar
    [project @ 2002-03-25 15:08:38 by simonpj] · aaed1181
    simonpj 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