mirrors/janet
1
0
Fork 0
mirror of https://github.com/janet-lang/janet synced 2025-01-13 00:50:26 +00:00
Code Issues 1 Releases Wiki Activity

add checks for & _ destructuring pattern

Browse Source 
This commit adds three checks to ensure & rest patterns are valid:
1. When checking for '& ensure the value is a symbol before unwrapping
2. Make sure '& is followed by a value
3. Make sure the value following '& is a symbol
This commit is contained in:
Ian Shehadeh 2022-01-19 13:55:05 -05:00
parent db631097b1
commit a8e49d084b
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/core/specials.c
View File

@ -155,7 +155,17 @@ static int destructure(JanetCompiler *c,
JanetSlot nextright = janetc_farslot(c);
Janet subval = values[i];
if (!janet_cstrcmp(janet_unwrap_symbol(subval), "&")) {
if (janet_type(subval) == JANET_SYMBOL && !janet_cstrcmp(janet_unwrap_symbol(subval), "&")) {
if (i + 1 >= len) {
janetc_cerror(c, "expected symbol following '& in destructuring pattern");
return 1;
}
if (janet_type(values[i + 1]) != JANET_SYMBOL) {
janetc_error(c, janet_formatc("expected symbol following '& in destructuring pattern, found %q", values[i + 1]));
return 1;
}
JanetSlot argi = janetc_farslot(c);
JanetSlot arg = janetc_farslot(c);
JanetSlot len = janetc_farslot(c);