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

No clause of gradualizer_lib:pick_value(any()) #537

Open
erszcz opened this issue May 8, 2023 · 2 comments
Open

No clause of gradualizer_lib:pick_value(any()) #537

erszcz opened this issue May 8, 2023 · 2 comments
Labels
bug

Comments

@erszcz
Copy link
Collaborator

erszcz commented May 8, 2023

Clone of esl/gradient#168.
@erszcz
Copy link
Collaborator Author

erszcz commented May 8, 2023

Related to #530 and #536

@erszcz erszcz added the bug label May 8, 2023
@zuiderkwast
Copy link
Collaborator

zuiderkwast commented May 8, 2023 •
edited

any() (the dynamic type) is tricky, since we don't know what type this instance of any() represents. It can be anything between none() and top() so we can't really pick a value.

I think the bug needs to be solved in some other way. We shouldn't need to pick a value of type any(). Actually, we can't say that a pattern is non-exhaustive when it comes to any().

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@erszcz @zuiderkwast