-
-
Notifications
You must be signed in to change notification settings - Fork 91
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
Interpreter should error when a record or dict literal has the same key twice #2533
Comments
I think raising an error here would change the behaviour of existing programs, so this is something that we can't do until we have runtime versioning. |
pbiggar
modified the milestones:
Great experience for solo dev,
Good experience for solo dev
Oct 18, 2022
pbiggar
changed the title
Using the same key twice within an HTTPClientPOST body does not display an error, but the request remains unplayable.
Interpreter should error when a record or dict literal has the same key twice
Mar 10, 2023
We currently let the last one win. |
46 tasks
folded into #5243 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
An error should be displayed: "Your request has duplicate keys. Remove or rename one and try again."
The text was updated successfully, but these errors were encountered: