<div dir="ltr"><div>Hi all,</div><div><br></div><div>The compiler currently accepts these expressions:<br></div><div><font face="monospace, monospace"><br></font></div><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><font face="monospace, monospace">x = expr . member</font></div><div><font face="monospace, monospace">x = </font><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace"> </font><span style="font-family:monospace,monospace">.</span></div><div><font face="monospace, monospace">         member</font></div></blockquote><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><font face="monospace, monospace">x = expr</font></div><div><font face="monospace, monospace">    .</font></div></blockquote><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><font face="monospace, monospace">    member</font></div></blockquote><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><span style="font-family:monospace,monospace">x = .</span><br></div></blockquote><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><font face="monospace, monospace">    implicitMember</font></div></blockquote><div><font face="monospace, monospace"><br></font></div>I propose to reject them because this could cause some unnecessary confusion.<div>(especially after <a href="https://github.com/apple/swift-evolution/blob/master/proposals/0071-member-keywords.md">SE-0071</a>)<br><div>For instance:<div><div><br></div></div></div><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><div><div><font face="monospace, monospace">_ = foo(.</font></div></div></div><div><div><div><font face="monospace, monospace">func bar(x: Int) { ... }</font></div></div></div></blockquote><div><div><div><br></div><div>The current compiler parses this as:</div><div><br></div></div></div><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><div><div><font face="monospace, monospace"><font color="#999999">// call foo(_:_:)</font></font></div></div></div><div><div><font face="monospace, monospace">_ = foo(.func <font color="#999999">// </font></font><span style="color:rgb(153,153,153);font-family:monospace,monospace">implicit-member-expression</span></div><div><span style="color:rgb(153,153,153);font-family:monospace,monospace">        // missing &#39;,&#39;</span></div></div><div><div><div><font face="monospace, monospace">        <font color="#999999">// call bar(x:_:) with </font></font><span style="color:rgb(153,153,153);font-family:monospace,monospace">argument &#39;Int&#39; and trailing closure</span></div></div></div><div><div><div><font face="monospace, monospace">        bar(x<font color="#000000">: Int</font>) { ... }</font></div></div></div><div><div><div><font color="#999999" style="font-family:monospace,monospace">// missing closing &#39;)&#39;</font></div></div></div></blockquote><div><div><div><br></div><div>Here&#39;s the summary of <i>current</i> behavior:<br></div></div><div><br></div></div><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><div><font face="monospace, monospace">// accept</font></div></div><div><div><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace">.member</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">// accept</font></div></div><div><div><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace"> .member</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">// accept</font></div></div><div><span style="font-family:monospace,monospace">expr</span><br></div><div><div><font face="monospace, monospace">  .member</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">// reject with fix-it to remove white spaces</font></div></div><div><div><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace">.  member</font></div></div><div><div><div><font face="monospace, monospace"><br></font></div></div></div><div><div><div><font face="monospace, monospace">// </font><span style="font-family:monospace,monospace">two distinct statements</span></div></div></div><div><div><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace">. </font><span style="font-family:monospace,monospace">// reject as missing member name</span></div></div><div><div><div><font face="monospace, monospace">  member</font></div></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><font face="monospace, monospace">// accept</font></div></div><div><div><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace">  .  member</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><div><font face="monospace, monospace">// accept</font></div></div></div><div><div><span style="font-family:monospace,monospace">expr</span><font face="monospace, monospace"> .</font></div></div><div><div><div><font face="monospace, monospace">  member</font></div></div></div></blockquote><div><div><br>I propose to change the last 2 examples:</div><div><span style="font-family:monospace,monospace"><br></span></div></div><blockquote style="margin:0px 0px 0px 40px;border:none;padding:0px"><div><div><span style="font-family:monospace,monospace">// reject with fix-it to remove white spaces</span></div></div><div><div><font face="monospace, monospace">some  .  member</font></div></div><div><div><font face="monospace, monospace"><br></font></div></div><div><div><span style="font-family:monospace,monospace">// two distinct statements </span></div></div><div><div><font face="monospace, monospace">some . // reject as missing member name</font></div></div><div><div><font face="monospace, monospace">  member</font></div></div></blockquote><div><div><br></div><div>I think, this is consistent behavior with &#39;<font face="monospace, monospace">.</font>&#39; at postfix position.</div><div><br></div><div>Specifically:</div><div><ul><li>If &#39;<font face="monospace, monospace">.</font>&#39; is at <i>prefix-operator</i> or <i>unspaced-binary-operator</i> position, accept.<br></li><li>If the next token after &#39;<font face="monospace, monospace">.</font>&#39; is at the same line, propose to fix-it.<br></li><li>Otherwise, reject it as missing member name.</li></ul></div><div>This affect following expressions and types in the grammer:</div><div><br></div><div>expressions:</div>  self-method-expression<br>  self-initializer-expression <br>  superclass-method-expression<br>  superclass-initializer-express<wbr>ion<br>  implicit-member-expression<br>  initializer-expression<br>  explicit-member-expression<br>  postfix-self-expression<br>  explicit-member-expression<br>  postfix-self-expression</div><div>types:<br><div>  type-identifier<br></div></div>  metatype-type<div><br></div><div>Of course this is a source breaking change, though.</div><div>Any thought?</div><div><br></div></div></div>