<div dir="ltr">If we chose something other than strongerThan and weakerThan, I would really like to see something like<div><br></div><div> evaluateBefore, evaluateAfter</div><div>foundBefore, foundAfter</div><div>lookupBefore, lookupAfter</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 23, 2016 at 11:32 AM, Anton Zhilin via swift-evolution <span dir="ltr"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Ross O'Brien via swift-evolution <swift-evolution@...> writes:<br>
<br>
> The naming suggestion: why not simply 'precedes' and 'succeeds'? This<br>
avoids the conjoined words problem. Then you're just writing<br>
'Multiplication { succeeds: Exponentiation, precedes: Addition }'.<br>
<br>
</span>I still believe that `above` and `below` are clearer.<br>
<span class=""><br>
> Suppose wanted to define C's precedence so its operation preceded both A<br>
and B, or succeeded both A and B. Does that require an explicit<br>
declaration of which of A or B takes precedence? If not, would this be<br>
legal?:<br>
> 'precedencegroup C { strongerThan: A, strongerThan: B }'<br>
<br>
</span>Any number of strongerThan and weakerThan relationships should be legal.<br>
Order of these relationships does not matter. We model them as edges of a<br>
DAG of all declared operators.<br>
<br>
There will be no problems during parsing. For example,<br>
<a href="https://en.wikipedia.org/wiki/Shunting-yard_algorithm" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/Shunting-yard_algorithm</a><br>
only requests equality and less-than relationships between two operators.<br>
<div class="HOEnZb"><div class="h5"><br>
- Anton<br>
<br>
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</div></div></blockquote></div><br></div>