14 Dec
2009
14 Dec
'09
6:33 p.m.
Rob,
Rob Arthan wrote:
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.
I realised that the bug was in the beginBlock function and I committed a fix to 5.4 an hour or so ago. Was there a reason for the other changes that weren't fixed by that? If we can agree on a small set of changes I'll include them in the fixes-5.3 branch.
Regards, David