-
Notifications
You must be signed in to change notification settings - Fork 27
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.
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
False positive on map update #45
Comments
Yes this is a false positive, thank you for reporting it. This is a known issue in eqWAlizer's handling of pattern matching: it currently does not refine the type of variables bound to a pattern using Our current implementation of occurrence typing makes it non-trivial to support, but we're exploring possible solutions. |
I've noticed what I believe is false positive and shrank it down to the minimal example:
Program goes through tree-like struct and places error in each leaf node. When I eqwalize it, I get the following error message:
If
Group
is of typeelem()
and I update one of the field that already exist in it, should the expression remain of typeelem()
?I use OTP 26.1, latest eqwalizer (ref "41869ab6eb30e9ff34545fe5f9c0a4caa797cfc2") and elp 1.1.0+build-2023-08-31
The text was updated successfully, but these errors were encountered: