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

Key deletion syntax for maps #101

Closed
anton-trunov opened this issue Nov 30, 2023 · 0 comments · Fixed by #95
Closed

Key deletion syntax for maps #101

anton-trunov opened this issue Nov 30, 2023 · 0 comments · Fixed by #95
Assignees
@Gusarich
Labels
feature: maps The map datatype and operations on it kind: language feature Intent to add a language feature
Milestone
v1.3.0

Comments

@anton-trunov
Copy link
Member

Let's say we a have a map m: map<Int, Int>. To remove a key k from it, one needs to do m.set(k, null).
This issue proposes to add some syntactic sugar for this map operation.

The exact syntax is to be defined.
@anton-trunov anton-trunov added the kind: language feature Intent to add a language feature label Nov 30, 2023
@anton-trunov anton-trunov linked a pull request Nov 30, 2023 that will close this issue
add .del function to maps #95
Merged
@anton-trunov anton-trunov added this to the v1.3.0 milestone Feb 16, 2024
@anton-trunov anton-trunov added the feature: maps The map datatype and operations on it label Mar 5, 2024
@Gusarich Gusarich self-assigned this Mar 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Gusarich Gusarich

Labels
feature: maps The map datatype and operations on it kind: language feature Intent to add a language feature
Projects
None yet
Milestone
v1.3.0
Development

Successfully merging a pull request may close this issue.

add .del function to maps Gusarich/tact
2 participants
@anton-trunov @Gusarich