<div dir="ltr"><div style="font-family:monospace" class="gmail_default">Hello,</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Thank you for your response!</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Anytime. I think I have another 2 for you. Maybe they are the same issue, different error, or maybe they are a different problem entirely.</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default"><a href="https://mail.openjdk.org/pipermail/amber-dev/2023-July/008206.html">https://mail.openjdk.org/pipermail/amber-dev/2023-July/008206.html</a></div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default"><a href="https://mail.openjdk.org/pipermail/core-libs-dev/2023-July/109395.html">https://mail.openjdk.org/pipermail/core-libs-dev/2023-July/109395.html</a></div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Thank you for your time and help!</div><div style="font-family:monospace" class="gmail_default">David Alayachew</div><div dir="ltr"><div class="gmail_default" style="font-family:monospace"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 17, 2023 at 5:28 AM Angelos Bimpoudis <<a href="mailto:angelos.bimpoudis@oracle.com">angelos.bimpoudis@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="msg3972654809795009044">




<div dir="ltr">
<div style="font-size:11pt;color:rgb(0,0,0)">
Hey David,</div>
<div style="font-size:11pt;color:rgb(0,0,0)">
<br>
</div>
<div style="font-size:11pt;color:rgb(0,0,0)">
I minimized and filed it here: <a href="https://bugs.openjdk.org/browse/JDK-8312163" id="m_3972654809795009044LPlnk889715" target="_blank">https://bugs.openjdk.org/browse/JDK-8312163</a></div>
<div style="font-size:11pt;color:rgb(0,0,0)">
<br>
</div>
<div id="m_3972654809795009044appendonsend"></div>
<div style="font-size:11pt;color:rgb(0,0,0)">
<span style="font-size:11pt;margin:0px">Thanks for the analysis, David!</span><br>
</div>
<div style="font-size:11pt;color:rgb(0,0,0)">
<span style="font-size:11pt;margin:0px"></span><br>
</div>
<div style="font-size:11pt;color:rgb(0,0,0)">
<br>
</div>
<hr style="display:inline-block;width:98%">
<div id="m_3972654809795009044divRplyFwdMsg" dir="ltr"><font style="font-size:11pt;color:rgb(0,0,0)" face="Calibri, sans-serif"><b>From:</b> amber-dev <<a href="mailto:amber-dev-retn@openjdk.org" target="_blank">amber-dev-retn@openjdk.org</a>> on behalf of David Alayachew <<a href="mailto:davidalayachew@gmail.com" target="_blank">davidalayachew@gmail.com</a>><br>
<b>Sent:</b> 15 July 2023 05:45<br>
<b>To:</b> amber-dev <<a href="mailto:amber-dev@openjdk.org" target="_blank">amber-dev@openjdk.org</a>><br>
<b>Subject:</b> Re: Found a bug?</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div style="font-family:monospace">And if I replace that snippet with this, I get the expected and desirable compiler error "didn't cover all switch cases" (referring to the parent switch where that statement is actually true).</div>
<div style="font-family:monospace"><br>
</div>
<div style="font-family:monospace"><br>
   public List<Symbol> stateTransitions(final InternalState internalState)<br>
   {<br>
   <br>
      return<br>
         switch (this)<br>
         {<br>
         <br>
            case C         -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of());<br>
            case CE        -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of(C));<br>
            case BACKSPACE -> switch (internalState)<br>
                              {<br>
                              <br>
                                 case InternalState(_, ConsEmpty(), _, _, _, _)  -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of(C, CE));<br>
                                 case InternalState is                           -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR, SCREEN_OPERATOR), List.of());<br>
                              <br>
                              };<br>
         <br>
         };<br>
   <br>
   }<br>
</div>
</div>
</div>
</div>

</div></blockquote></div></div>