Skip to content

Make Event a sealed interface#86

Merged
emichael merged 2 commits intomasterfrom
improvement/event-sealed-interface
Mar 23, 2026
Merged

Make Event a sealed interface#86
emichael merged 2 commits intomasterfrom
improvement/event-sealed-interface

Conversation

@emichael
Copy link
Copy Markdown
Owner

Java has proper sum types now. We should use them. This requires language level 21.

@emichael emichael self-assigned this Mar 21, 2026
@emichael emichael changed the title Make Event a sealed interface instead Make Event a sealed interface Mar 21, 2026
@emichael emichael force-pushed the improvement/event-sealed-interface branch from db10ab0 to afc5e22 Compare March 21, 2026 20:57
@emichael emichael requested a review from wilcoxjay March 22, 2026 20:16
Copy link
Copy Markdown
Collaborator

@wilcoxjay wilcoxjay left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm. couple of minor questions in the inline feedback

Java has proper sum types now. We should use them. This requires
language level 21.
@emichael emichael force-pushed the improvement/event-sealed-interface branch from afc5e22 to 6177b86 Compare March 22, 2026 23:48
@wilcoxjay
Copy link
Copy Markdown
Collaborator

:shipit:

@emichael
Copy link
Copy Markdown
Owner Author

Thanks, @wilcoxjay!

@emichael emichael merged commit 13f8ae9 into master Mar 23, 2026
8 checks passed
@emichael emichael deleted the improvement/event-sealed-interface branch March 23, 2026 00:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants