<div dir="auto">These are really nice examples to motivate why you definitely want a total order! </div><div dir="auto"><br></div><div dir="auto">(I’ve definitely pondered wanting partial order shenanigans in the past and these simple example do a very nice job illustrating why I wouldn’t ! ). </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 3, 2020 at 3:28 PM David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">`seq` would be an issue too. </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 3, 2020, 3:11 PM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><br><br>On Thu, 3 Sep 2020, Tikhon Jelvis wrote:<br><br><br><br><br><br>> In the proposals for relative precedences that I've heard before, it <br><br><br>> would be a syntactic error to use two operators that *don't* have <br><br><br>> explicitly defined relationships without parentheses. + and * would work <br><br><br>> together the way you would expect from math, but you simply wouldn't be <br><br><br>> able to mix them with ++ without parentheses. Seems like this would <br><br><br>> avoid spooky action at a distance since operators that aren't clearly <br><br><br>> related simply don't have relative precedences at all.<br><br><br><br><br><br>right<br><br><br><br><br><br>> Not sure how to handle operators like $ in a system like that though.<br><br><br><br><br><br>($) in GHC is already an exception because it works with forall-quantified <br><br><br>operands, too.<br><br><br>_______________________________________________<br><br><br>Libraries mailing list<br><br><br><a href="mailto:Libraries@haskell.org" rel="noreferrer" target="_blank">Libraries@haskell.org</a><br><br><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br><br><br></blockquote></div><br><br>_______________________________________________<br><br>Libraries mailing list<br><br><a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br><br></blockquote></div></div>