Ability to delete from store

This commit is contained in:
Dustin Swan 2026-02-26 21:21:49 -07:00
parent 3267d5bc39
commit 15f6124173
No known key found for this signature in database
GPG key ID: 30D46587E2100467
2 changed files with 27 additions and 0 deletions

View file

@ -160,6 +160,9 @@ export const _rt = {
return { _tag: 'Rebind', _0: name, _1: rest, _2: value };
},
deleteAt: (path: any[]) => {
return { _tag: 'DeleteAt', _0: path };
},
"undefine!": (name: string) => {
delete store[name];
definitions.delete(name);