<div dir="ltr"><div class="gmail_extra">I&#39;m still +1 on this.</div><div class="gmail_extra"><br></div><div class="gmail_extra">I would very much enjoy being able to do this:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div style="margin-bottom:16px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Helvetica,&#39;Segoe UI&#39;,Arial,freesans,sans-serif,&#39;Apple Color Emoji&#39;,&#39;Segoe UI Emoji&#39;,&#39;Segoe UI Symbol&#39;;font-size:16px;line-height:25.6px"><pre style="white-space:pre-wrap;overflow:auto;font-family:Consolas,&#39;Liberation Mono&#39;,Menlo,Courier,monospace;font-size:13.6px;margin-top:0px;margin-bottom:0px;line-height:1.45;padding:16px;border-top-left-radius:3px;border-top-right-radius:3px;border-bottom-right-radius:3px;border-bottom-left-radius:3px;word-wrap:normal;background-color:rgb(247,247,247)"><p style="margin:0px;line-height:normal;font-family:Menlo;color:rgb(167,29,93);min-height:16px"><span style="font-size:13.6px">let</span><span style="color:rgb(50,51,51);font-size:13.6px"> str = state.</span><span style="font-size:13.6px">map</span><span style="color:rgb(50,51,51);font-size:13.6px"> {</span><br></p>
<p style="margin:0px;line-height:normal;font-family:Menlo;color:rgb(50,51,51)"><span class="" style="white-space:pre">        </span><span style="color:rgb(167,29,93)">case</span> <span style="color:rgb(167,29,93)">.</span>Cold: <span class="" style="white-space:pre">        </span>“Too cold”</p>
<p style="margin:0px;line-height:normal;font-family:Menlo;color:rgb(50,51,51)"><span style="color:rgb(167,29,93)"><span class="" style="white-space:pre">        </span>case</span> <span style="color:rgb(167,29,93)">.</span>Hot: <span class="" style="white-space:pre">        </span>“Too hot”</p>
<p style="margin:0px;line-height:normal;font-family:Menlo;color:rgb(50,51,51)"><span style="color:rgb(167,29,93)"><span class="" style="white-space:pre">        </span>default</span>: <span class="" style="white-space:pre">        </span>“Just right”</p>
<p style="margin:0px;line-height:normal;font-family:Menlo;color:rgb(50,51,51)">}</p></pre></div></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div></div>