Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support enums in the FTL type system #866

Closed
alecthomas opened this issue Feb 1, 2024 · 0 comments · Fixed by #1078
Closed

Support enums in the FTL type system #866

alecthomas opened this issue Feb 1, 2024 · 0 comments · Fixed by #1078
Assignees
@worstell
Labels
enhancement New feature or request

Comments

@alecthomas
Copy link
Collaborator

alecthomas commented Feb 1, 2024 •
edited by worstell
Loading

Design doc
@alecthomas alecthomas added the enhancement New feature or request label Feb 1, 2024
@github-project-automation github-project-automation bot moved this to Todo in FTL Feb 1, 2024
@wesbillman wesbillman mentioned this issue Feb 7, 2024
Open
@alecthomas alecthomas added the next Work that will be be picked up next label Feb 11, 2024
@alecthomas alecthomas assigned worstell and unassigned worstell Feb 11, 2024
@github-actions github-actions bot removed the next Work that will be be picked up next label Feb 11, 2024
@github-actions github-actions bot added the triage Issue needs triaging label Feb 11, 2024
@alecthomas alecthomas self-assigned this Feb 12, 2024
@github-actions github-actions bot removed the triage Issue needs triaging label Feb 12, 2024
@alecthomas alecthomas removed their assignment Feb 12, 2024
@github-actions github-actions bot added the triage Issue needs triaging label Feb 12, 2024
@alecthomas alecthomas self-assigned this Feb 12, 2024
@github-actions github-actions bot removed the triage Issue needs triaging label Feb 12, 2024
@alecthomas alecthomas assigned worstell and unassigned alecthomas Feb 12, 2024
@github-actions github-actions bot added the triage Issue needs triaging label Feb 12, 2024
@alecthomas alecthomas added triage Issue needs triaging and removed triage Issue needs triaging labels Feb 12, 2024
@worstell worstell added the next Work that will be be picked up next label Feb 21, 2024
@worstell worstell removed their assignment Feb 22, 2024
@worstell worstell self-assigned this Mar 4, 2024
@github-actions github-actions bot removed the next Work that will be be picked up next label Mar 4, 2024
@worstell worstell mentioned this issue Mar 14, 2024
Merged
worstell added a commit that referenced this issue Mar 14, 2024
@worstell
feat: extract enums in kotlin (#1078)
456d2fe 
fixes #866
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@worstell worstell

Labels
enhancement New feature or request
Projects
No open projects
FTL
Status: Todo
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: extract enums in kotlin TBD54566975/ftl
2 participants
@alecthomas @worstell