14 Dec
2009
14 Dec
'09
6:01 p.m.
David,
For what it is worth, I have attached a patch that fixes PolyML.install_pp. On reflection, if you withdraw it, I am going to have to write something similar of my own, because I can't see any other way of maintaining compatibility with both Poly/ML and SML/NJ.
Regards,
Rob.