Found a bug?

[David Alayachew]

Hello,

Thank you for your response!

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.

https://mail.openjdk.org/pipermail/amber-dev/2023-July/008206.html

https://mail.openjdk.org/pipermail/core-libs-dev/2023-July/109395.html

Thank you for your time and help!
David Alayachew


On Mon, Jul 17, 2023 at 5:28 AM Angelos Bimpoudis <
angelos.bimpoudis at oracle.com> wrote:

> Hey David,
>
> I minimized and filed it here: https://bugs.openjdk.org/browse/JDK-8312163
>
> Thanks for the analysis, David!
>
>
> ------------------------------
> *From:* amber-dev <amber-dev-retn at openjdk.org> on behalf of David
> Alayachew <davidalayachew at gmail.com>
> *Sent:* 15 July 2023 05:45
> *To:* amber-dev <amber-dev at openjdk.org>
> *Subject:* Re: Found a bug?
>
> 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).
>
>
>    public List<Symbol> stateTransitions(final InternalState internalState)
>    {
>
>       return
>          switch (this)
>          {
>
>             case C         -> ADD_SYMBOLS.apply(List.of(NUMBER,
> SUB_STATE_OPERATOR), List.of());
>             case CE        -> ADD_SYMBOLS.apply(List.of(NUMBER,
> SUB_STATE_OPERATOR), List.of(C));
>             case BACKSPACE -> switch (internalState)
>                               {
>
>                                  case InternalState(_, ConsEmpty(), _, _,
> _, _)  -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR), List.of(C,
> CE));
>                                  case InternalState is
>       -> ADD_SYMBOLS.apply(List.of(NUMBER, SUB_STATE_OPERATOR,
> SCREEN_OPERATOR), List.of());
>
>                               };
>
>          };
>
>    }
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230718/40d2ed57/attachment.htm>