<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">On Apr 8, 2016, at 12:28 PM, Антон Жилин <<a href="mailto:antonyzhilin@gmail.com" class="">antonyzhilin@gmail.com</a>> wrote:<div><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class="">The question 4 (<span style="font-size:12.8px" class="">`prefix operator ! { }` or `prefix operator !`</span>) seems dead simple, because if we need to declare precedence group in body of infix operators, then other operators should have it for consistency.</div><div class=""><br class=""></div><div class="">It's not.</div><div class="">I suggest an alternative syntax for that:</div><div class="">infix operator <> : Comparative</div><div class=""><br class=""></div><div class="">Colon immediately after the operator may not look the best, but it's the only disadvantage I can find. It looks like inheritance and has similar meaning.</div></div></div></blockquote><br class=""></div><div>I agree, this is an nice approach. You’re basically saying that the <> operator is a member of the set of Comparative operators, thereby “inheriting” its precedence behaviors.</div><div><br class=""></div><div>-Chris</div><br class=""></body></html>