[project @ 2002-03-25 15:08:38 by simonpj]

[project @ 2002-03-25 15:08:38 by simonpj]
-------------------------------
	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