<div dir="ltr"><div>As always, link to the proposal:</div><div><a href="https://github.com/Anton3/swift-evolution/blob/operator-precedence/proposals/NNNN-operator-precedence.md">https://github.com/Anton3/swift-evolution/blob/operator-precedence/proposals/NNNN-operator-precedence.md</a><br></div><div><br></div>Without further ado, I changed syntax for declaring that an operator belongs to a group. It now looks like:<div>infix operator <> : Comparative</div><div><br></div><div>Next, I added a notion of default precedence group for infix operators:</div><div><a href="https://github.com/Anton3/swift-evolution/blob/operator-precedence/proposals/NNNN-operator-precedence.md#default-precedence-group">https://github.com/Anton3/swift-evolution/blob/operator-precedence/proposals/NNNN-operator-precedence.md#default-precedence-group</a></div><div><br></div><div>Next, I added a notion of special operatrors that will allow nice declarations in the Standard Library:</div><div><a href="https://github.com/Anton3/swift-evolution/blob/operator-precedence/proposals/NNNN-operator-precedence.md#special-operators">https://github.com/Anton3/swift-evolution/blob/operator-precedence/proposals/NNNN-operator-precedence.md#special-operators</a><br></div><div><br></div><div>I have a question on this: is that right? Because corresponding operator functions still won't be declared anywhere.</div><div><br></div><div>Now, I see only 1 large question/problem risen by David Waite:</div><div>Should precedence relationships be defined inside or outside of precedence groups?</div><div>That is: should we be able to add arbitrary relationships between existing groups?</div><div><br></div><div>If we discuss this and no more problems are discovered, then I think, we will be ready for review.</div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-04-09 16:40 GMT+03:00 Chris Lattner <span dir="ltr"><<a href="mailto:clattner@apple.com" target="_blank">clattner@apple.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> On Apr 9, 2016, at 6:36 AM, Chris Lattner via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br>
> I do think it is useful to be able to specify precedence relationships without having to define a “group”, to avoid boilerplate when you have one operator at a logical level (“??” for example).<br>
<br>
</span>Thought there is the obvious counterpoint: sugaring this one case doesn’t seem worthwhile, given how infrequently operators are defined. It is quite reasonable to start simple and always require an operator to be a member of a group. We could eliminate that boilerplate at some point down the road if it is an issue in practice.<br>
<span class="HOEnZb"><font color="#888888"><br>
-Chris</font></span></blockquote></div><br></div>