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

Simon Taylor stayl at cs.mu.OZ.AU
Wed Aug 26 14:29:34 AEST 1998


> Estimated hours taken: 0.1
> 
> compiler/polymorphism.m:
> 	Remove a very suspicious looking application of a *variable* type
> 	mapping to a type with *type variables* in it. The code doesn't seem
> 	to have any purpose, and all the test cases still pass.
 
Thanks DJ.



More information about the developers mailing list