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

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> Hi,
> 
> compiler/polymorphism.m:
> 	Fix a bug in my previous bug fix: it was calling
> 	map__apply_to_list to apply the type-info variable map to a
> 	list of type variables, but not every type variable has a type
> 	info.
> 

This looks fine.

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