<div dir="ltr">I suppose I'm not seeing why it's important to exclude the associated values from pattern matching. What do you gain except saving a few characters? What you're suggesting doesn't strike me as a significant improvement over this:<div><br></div><div>```</div><div>case javascript(String, scope: Document?)</div><div>...<br></div><div><br></div><div>switch self {</div><div> case .javascript(_, scope: .none): return 0x0D</div><div> case .javascript: return 0x0F // or case .javascript(_, scope: .some), if you want to be explicit about the distinction between the two cases</div><div>}</div><div>```</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Nov 29, 2016 at 8:12 AM Adrian Zubarev <<a href="mailto:adrian.zubarev@devandartist.com">adrian.zubarev@devandartist.com</a>> wrote:<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" class="gmail_msg"><div class="m_-4318011679787398350bloop_markdown gmail_msg"><p class="gmail_msg">As I said before, the associated values can be excluded for pattern matching. I believe this way you can check against the enum case without producing any copy of the associated types right?!</p>
<pre class="gmail_msg"><code class="m_-4318011679787398350swift gmail_msg">var _kind: Byte {
switch self {
…
case .javaScript: return 0x0D
case .scopedJavaScript: return 0x0F
…
}
}
</code></pre>
<p class="gmail_msg">Assume we could overload the values by including additional labels to the enum case.</p>
<pre class="gmail_msg"><code class="m_-4318011679787398350swift gmail_msg">case javaScript(String)
case javaScript(String, scope: Document) // or more swifty `javascript(String, withScope: Document)`
</code></pre>
<p class="gmail_msg">Now I could check the case like this to solve the ambiguity.</p>
<pre class="gmail_msg"><code class="m_-4318011679787398350swift gmail_msg">switch self {
…
case .javaScript: return 0x0D
case .javaScript(_:withScope:): return 0x0F
…
}
</code></pre>
<p class="gmail_msg">Plus I don’t want to wrap values in optionals when there is no need for that.</p>
<p class="gmail_msg"></p></div><div class="m_-4318011679787398350bloop_original_html gmail_msg"></div></div><div style="word-wrap:break-word" class="gmail_msg"><div class="m_-4318011679787398350bloop_original_html gmail_msg"><div id="m_-4318011679787398350bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;color:rgba(0,0,0,1.0);margin:0px;line-height:auto" class="gmail_msg"><br class="gmail_msg"></div> <br class="gmail_msg"> <div id="m_-4318011679787398350bloop_sign_1480435527217235968" class="m_-4318011679787398350bloop_sign gmail_msg"><div style="font-family:helvetica,arial;font-size:13px" class="gmail_msg">-- <br class="gmail_msg">Adrian Zubarev<br class="gmail_msg">Sent with Airmail</div></div> <br class="gmail_msg"></div></div><div style="word-wrap:break-word" class="gmail_msg"><div class="m_-4318011679787398350bloop_original_html gmail_msg"><p class="m_-4318011679787398350airmail_on gmail_msg">Am 29. November 2016 um 17:03:12, Tony Allevato (<a href="mailto:allevato@google.com" class="gmail_msg" target="_blank">allevato@google.com</a>) schrieb:</p> <blockquote type="cite" class="m_-4318011679787398350clean_bq gmail_msg"><span class="gmail_msg"><div class="gmail_msg"><div class="gmail_msg"></div><div class="gmail_msg">
<div dir="ltr" class="gmail_msg">Why not:
<div class="gmail_msg"><br class="gmail_msg"></div>
<div class="gmail_msg">```</div>
<div class="gmail_msg">case javascript(String, scope: Document?)</div>
<div class="gmail_msg">```</div>
<div class="gmail_msg"><br class="gmail_msg"></div>
<div class="gmail_msg">Your desired scenario looks like it's conceptually expressing
that Document is optional, so why not use the type to codify
that?</div>
</div>
<br class="gmail_msg">
<div class="gmail_quote gmail_msg">
<div dir="ltr" class="gmail_msg">On Tue, Nov 29, 2016 at 7:59 AM Adrian Zubarev via
swift-evolution <<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a>>
wrote:<br class="gmail_msg"></div>
<blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word" class="gmail_msg">
<div class="m_-4318011679787398350m_-7043339027230064222bloop_markdown gmail_msg">
<p class="gmail_msg">Hmm, I feel like default values wouldn’t work
with overloaded enum cases.</p>
<p class="gmail_msg">In my own project I have something like
this:</p>
<pre class="gmail_msg"><code class="m_-4318011679787398350m_-7043339027230064222swift gmail_msg">case javaScript(String)
case scopedJavaScript(String, scope: Document)
// But I'd like it to be:
case javaScript(String)
case javaScript(String, scope: Document)
</code></pre>
<p class="gmail_msg"></p>
</div>
<div class="m_-4318011679787398350m_-7043339027230064222bloop_original_html gmail_msg">
</div>
</div>
<div style="word-wrap:break-word" class="gmail_msg">
<div class="m_-4318011679787398350m_-7043339027230064222bloop_original_html gmail_msg">
<div id="m_-4318011679787398350m_-7043339027230064222bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;color:rgba(0,0,0,1.0);margin:0px;line-height:auto" class="gmail_msg"><br class="gmail_msg"></div>
<br class="gmail_msg">
<div id="m_-4318011679787398350m_-7043339027230064222bloop_sign_1480434999026332928" class="m_-4318011679787398350m_-7043339027230064222bloop_sign gmail_msg">
<div style="font-family:helvetica,arial;font-size:13px" class="gmail_msg">-- <br class="gmail_msg">
Adrian Zubarev<br class="gmail_msg">
Sent with Airmail</div>
</div>
<br class="gmail_msg"></div>
</div>
<div style="word-wrap:break-word" class="gmail_msg">
<div class="m_-4318011679787398350m_-7043339027230064222bloop_original_html gmail_msg">
<p class="m_-4318011679787398350m_-7043339027230064222airmail_on gmail_msg">Am 29.
November 2016 um 16:55:52, Charles Srstka (<a href="mailto:cocoadev@charlessoft.com" class="gmail_msg" target="_blank">cocoadev@charlessoft.com</a>) schrieb:</p>
<blockquote type="cite" class="m_-4318011679787398350m_-7043339027230064222clean_bq gmail_msg">
<div style="word-wrap:break-word" class="gmail_msg">
<div class="gmail_msg"></div>
<div class="gmail_msg">
<blockquote type="cite" class="gmail_msg"><span class="gmail_msg">On Nov 29, 2016, at 9:52 AM, Adrian Zubarev via
swift-evolution <<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a>>
wrote:<br class="gmail_msg"></span></blockquote>
<div class="gmail_msg">
<blockquote type="cite" class="gmail_msg"><span class="gmail_msg"><br class="m_-4318011679787398350m_-7043339027230064222Apple-interchange-newline gmail_msg"></span>
<div class="gmail_msg">
<p style="margin:15px 0px;font-family:Helvetica,Arial;font-size:13px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" class="gmail_msg"><span class="gmail_msg">I just showed a direction
of what could be possible.<span class="m_-4318011679787398350m_-7043339027230064222Apple-converted-space gmail_msg"> </span></span></p>
<p style="margin:15px 0px;font-family:Helvetica,Arial;font-size:13px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" class="gmail_msg">Personally I think it would be enough if we had
this:</p>
<pre style="margin:15px 0px;font-family:Menlo,Consolas,'Liberation Mono',Courier,monospace;font-size:10pt;border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;background-color:rgb(248,248,248);border:1px solid rgb(204,204,204);overflow:auto;padding:4px 8px;word-break:normal;word-wrap:normal;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;word-spacing:0px" class="gmail_msg"><code class="m_-4318011679787398350m_-7043339027230064222swift gmail_msg" style="font-family:Menlo,Consolas,'Liberation Mono',Courier,monospace;font-size:10pt;border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;background-color:rgb(248,248,248);color:inherit;border:0px;margin:0px;padding:0px;word-break:normal;word-wrap:normal">enum MyEnum {
case a
case b(Int)
case b(Int, string: String)
}
</code></pre>
<p style="margin:15px 0px;font-family:Helvetica,Arial;font-size:13px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" class="gmail_msg">Where<span class="m_-4318011679787398350m_-7043339027230064222Apple-converted-space gmail_msg"> </span><code style="font-family:Menlo,Consolas,'Liberation Mono',Courier,monospace;font-size:10pt;border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;background-color:rgb(248,248,248);color:inherit;border:1px solid rgb(234,234,234);margin:0px 2px;padding:0px 5px;word-break:normal;word-wrap:normal" class="gmail_msg">.b</code><span class="m_-4318011679787398350m_-7043339027230064222Apple-converted-space gmail_msg"> </span>can
be overloaded by it’s associated types.</p>
</div>
</blockquote>
</div>
<div class="gmail_msg">Or default values:</div>
<div class="gmail_msg"><br class="gmail_msg"></div>
<div class="gmail_msg">enum MyEnum {</div>
<div class="gmail_msg">case a</div>
<div class="gmail_msg">case b(Int, string: String =
“SomeDefault”)</div>
<div class="gmail_msg">}</div>
<div class="gmail_msg"><br class="gmail_msg"></div>
<div class="gmail_msg">Charles</div>
<div class="gmail_msg"><br class="gmail_msg"></div>
</div>
</div>
</blockquote>
</div>
</div>
_______________________________________________<br class="gmail_msg">
swift-evolution mailing list<br class="gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class="gmail_msg">
</blockquote>
</div>
</div></div></span></blockquote></div></div></blockquote></div>