25 Aug
2014
25 Aug
'14
3:27 p.m.
On Mon, Aug 18, 2014 at 10:01:17PM +0000, Simon Peyton-Jones wrote:
My recommendation would be to try (3) first. Ian Lynagh (cc'd) may be able to comment about why the inconsistency above arose in the first place, and why we can't simply fix it.
I don't know of any reason we can't. I think we didn't before because we didn't need to change S#, and didn't realise that there would be any benefit to doing so. Thanks Ian