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

Enforce default as the *last* branch of cond expression #338

Open
Jacajack opened this issue Nov 22, 2023 · 0 comments
Open

Enforce default as the *last* branch of cond expression #338

Jacajack opened this issue Nov 22, 2023 · 0 comments
Assignees
@WojciechPtas
Labels
analyzer Related to semantic & design analyzers discuss To be discussed enhancement New feature or request nice to have Only if we have time

Comments

@Jacajack
Copy link
Owner

Feature description

Currently, default is allowed at any place inside the cond expression. This may be counterintuitive in practice, because other conditions are checked top-to-bottom. Perhaps we should enforce that default is always in the last branch?
@Jacajack Jacajack added enhancement New feature or request analyzer Related to semantic & design analyzers discuss To be discussed nice to have Only if we have time labels Nov 22, 2023
@Jacajack Jacajack changed the title Enforce default as the **last** branch of cond expression Enforce default as the *last* branch of cond expression Nov 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@WojciechPtas WojciechPtas

Labels
analyzer Related to semantic & design analyzers discuss To be discussed enhancement New feature or request nice to have Only if we have time
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Jacajack @WojciechPtas