<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="">On Jun 30, 2016, at 1:44 PM, Xiaodi Wu &lt;<a href="mailto:xiaodi.wu@gmail.com" class="">xiaodi.wu@gmail.com</a>&gt; wrote:</div><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 30, 2016 at 3:36 PM, John McCall <span dir="ltr" class="">&lt;<a href="mailto:rjmccall@apple.com" target="_blank" class="">rjmccall@apple.com</a>&gt;</span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class=""><div class=""><span class=""><blockquote type="cite" class=""><div class="">On Jun 29, 2016, at 1:33 PM, Xiaodi Wu &lt;<a href="mailto:xiaodi.wu@gmail.com" target="_blank" class="">xiaodi.wu@gmail.com</a>&gt; wrote:</div><div class=""><div dir="ltr" class=""><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" class="">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank" class="">swift-evolution@swift.org</a>&gt;</span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">&gt; On Jun 29, 2016, at 11:39 AM, Vladimir.S &lt;<a href="mailto:svabox@gmail.com" target="_blank" class="">svabox@gmail.com</a>&gt; wrote:<br class="">
&gt; How about `public(extensible)` ?<br class="">
<br class="">
Hmm.&nbsp; 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 class="">
<br class="">
I wonder if just "extensible" would be good enough.&nbsp; It is a term that's used in API descriptions.<br class=""></blockquote><div class=""><br class=""></div><div class="">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 class=""><br class=""></div></span>I agree, but I'm not sure that it's particularly confusing in practice.</div></div></blockquote><div class="">&nbsp;</div><div class="">Why not just "inheritable"? That is, after all, what we mean, no?</div></div></div></div></div></blockquote><div><br class=""></div></div>All class methods are intrinsically inheritable. &nbsp;A non-inheritable method would *require* an override.<div class=""><br class=""></div><div class="">John.</div></body></html>