[m-dev.] diff: polymorphism.m bug fix

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> Hi,
> 
> Tom, could you please review this one?
> 
> compiler/polymorphism.m:
> 	Fix another bug in the recalculation of the non-local variables:
> 	we need to requantify if we have added any type variables,
> 	not just if we have added type variables that are non-local
> 	at the top level.
> 

This diff looks fine. Do you have a test case?

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.