<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 30, 2016 at 3:47 PM, John McCall <span dir="ltr"><<a href="mailto:rjmccall@apple.com" target="_blank">rjmccall@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><span class=""><div><blockquote type="cite"><div>On Jun 30, 2016, at 1:44 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 30, 2016 at 3:36 PM, John McCall <span dir="ltr"><<a href="mailto:rjmccall@apple.com" target="_blank">rjmccall@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span><blockquote type="cite"><div>On Jun 29, 2016, at 1:33 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>> wrote:</div><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jun 29, 2016 at 2:54 PM, John McCall 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">> On Jun 29, 2016, at 11:39 AM, Vladimir.S <<a href="mailto:svabox@gmail.com" target="_blank">svabox@gmail.com</a>> wrote:<br>
> How about `public(extensible)` ?<br>
<br>
Hmm. I started to work out an example with these as separate modifiers, and I think I understand the need to combine them in some way.<br>
<br>
I wonder if just "extensible" would be good enough. It is a term that's used in API descriptions.<br></blockquote><div><br></div><div>This particular word is unfortunate because it has nothing to do with an extension, which shares the same etymological root.</div></div></div></div></div></blockquote><div><br></div></span>I agree, but I'm not sure that it's particularly confusing in practice.</div></div></blockquote><div> </div><div>Why not just "inheritable"? That is, after all, what we mean, no?</div></div></div></div></div></blockquote><div><br></div></div></span>All class methods are intrinsically inheritable. A non-inheritable method would *require* an override.</div></blockquote><div><br></div><div>Sorry, I was more suggesting that word in the context of `public(inheritable)`, provided the default is sealed.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><span class="HOEnZb"><font color="#888888"><div><br></div><div>John.</div></font></span></div></blockquote></div><br></div></div>