We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Python semantics on arrays:
(* Pop the second entry in the current scale and shift subsequent entries back by one. *) delete $[1]
Python/JS semantics on records:
const rec = {foo: 1, bar: 2} delete rec['foo'] (* rec = {bar: 2} *)
The text was updated successfully, but these errors were encountered:
Implement delete statement for container entries
552fdf7
ref #337
Let's call it del instead.
del
Sorry, something went wrong.
984b499
6850b6d
Successfully merging a pull request may close this issue.
Python semantics on arrays:
Python/JS semantics on records:
The text was updated successfully, but these errors were encountered: