<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto">Can you write a parser to give you the result you want?<br><br><div id="AppleMailSignature">- David</div><div><br>On Jul 22, 2018, at 10:17 AM, <a href="mailto:rvclayton@acm.org">rvclayton@acm.org</a> [self-interest] <<a href="mailto:self-interest@yahoogroups.com">self-interest@yahoogroups.com</a>> wrote:<br><br></div><blockquote type="cite"><div>












 

<span style="display:none"> </span>



    <div id="ygrp-text">
      
      
      <p>The self 2017.1 handbook interprets the expression<br>
<br>
5 min: 6 min: 7 Max: 8 Max: 9 min: 10 Max: 11<br>
<br>
as<br>
<br>
5 min: (6 min: 7 Max: 8 Max: (9 min: 10 Max: 11))<br>
<br>
(pgs 17-18) for the message min:Max.  This strikes me as wrong - where's the<br>
Max: part for the message sent to 5?  It seems to me that the interpretation<br>
should be<br>
<br>
5 min: (6 min: 7 Max: 8) Max: (9 min: 10 Max: 11)<br>
<br>
or, to use indentation<br>
<br>
5 min:<br>
      6 min:<br>
          7<br>
        Max:<br>
          8<br>
    Max:<br>
      9 min:<br>
          10<br>
        Max:<br>
          11<br>
<br>
I understand that one likes to see a pleasing pile-up of parentheses at the end<br>
of right-associative expressions, so maybe the example could be<br>
<br>
5 min: 6 Max: 7 min: 8 Max: 9 min: 10 Max: 11 min: 12 Max: 13<br>
<br>
which equivalent to (if I'm understanding things correctly)<br>
<br>
5 min: 6 Max: (7 min: 8 Max: (9 min: 10 Max: (11 min: 12 Max: 13)))<br>
<br>
</p>

    </div>
     

    





<!-- end group email -->

</div></blockquote></body></html>