<div dir="ltr"><div dir="ltr">On Tue, 19 Mar 2024 at 10:26, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div style="font-family:tahoma,sans-serif"><div>But I think you are now saying that <i>even if a left-to-right order was "best", </i>there is a long-standing bug in GHC that puts `b` first in (a `b` c`), and it's not worth the risk of change.   So instead we should institutionalise the bug into the spec.  <br></div></div></div></blockquote><div><br></div>This is, at least, my position. This is a bug fix, but the bug is so tiny, that even if the breakage is rare, it's not necessarily worth it, and it may be better to bake the exception into the spec. I'm weakly on the side that baking the exception is better.<br></div></div>