<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2017-10-27 17:45 GMT+02:00 Sverker Eriksson <span dir="ltr"><<a href="mailto:sverker.eriksson@ericsson.com" target="_blank">sverker.eriksson@ericsson.com</a>></span><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div bgcolor="#FFFFFF">
    <br>
    How would you order  #{1 => x, 1.0 => y} and #{1 => y, 1.0
    => x}<br>
    if you can't order 1 and 1.0?</div></blockquote><div><br></div><div>As long as we're talking about the arithmetic term order (<, >, ==), I don't see why they would need to be. Look at tuples:</div><div><br></div><div><font face="monospace, monospace">  {1, 1.0} < {1.0, 1}.<br></font></div><div><div><font face="monospace, monospace">  false</font></div><div><font face="monospace, monospace">  {1, 1.0} > {1.0, 1}.</font></div><div><font face="monospace, monospace">  false</font></div><div><div><div><font face="monospace, monospace">  {1, 1.0} == {1.0, 1}. </font></div><div><font face="monospace, monospace">  true</font></div></div></div><div><span style="font-family:monospace,monospace">  {1, 1.0} =:= {1.0, 1}.</span><br></div><div><font face="monospace, monospace">  false</font></div><div><br></div></div><div>Maps ought to behave analogously, in the arithmetic ordering. The weirdness comes from enforcing strict ordering in the middle of the arithmetic one. The current ordering rule for maps should only be used in the strict ordering (the suggested :<), where it would also apply to tuples: {1, 1.0} :< {1.0, 1}.</div><div><br></div><div> </div></div></div></div>