-
Notifications
You must be signed in to change notification settings - Fork 6.1k
Raise useful error message when using a dynamic type as a key in a mapping #633
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
Comments
Removing "public" from the variable "data" allow the program to be compiled. But I would prefer a clear error message than an internal error. |
@bortzmeyer the error message is there also: |
Duplicate of #498. |
@axic I guess @bortzmeyer meant that it was not immediately obvious from the error message that removing |
Actually it would be nice to raise this issue in the type checker so a proper error message can be displayed as opposed to an assertion. |
Co-authored-by: atarpara <[email protected]>
The source code is attached.
multi-valued-mappings.txt
The text was updated successfully, but these errors were encountered: