<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 17 February 2014 02:08, Chris Cain <span dir="ltr"><<a href="mailto:clcain@uncg.edu" target="_blank">clcain@uncg.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="">** I'm also surprised "default" is necessary. I thought it was only necessary in final switches.<br></div>
</blockquote></div><br></div><div class="gmail_extra">final switch requires you to implement every possible case, so it makes no sense in that case.</div></div>