syndicate-lang
/
syndicate-rs
1
0
Fork 0
Code Issues 2 Pull Requests Projects Releases Wiki Activity

Fix length checks

This commit is contained in:
Tony Garnock-Jones 2021-12-13 16:05:43 +01:00
parent f5b1fec90f
commit bbcc15c74d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
syndicate/src/rewrite.rs
View File

@ -142,6 +142,7 @@ impl Pattern {
match a.value().as_record(Some(fields.len())) {
Some(r) => {
if r.label() != label { return false; }
if r.fields().len() != fields.len() { return false; }
for (i, p) in fields.iter().enumerate() {
if !p.matches(&r.fields()[i], bindings) { return false; }
}
@ -153,7 +154,7 @@ impl Pattern {
PCompound::Arr { items } => {
match a.value().as_sequence() {
Some(vs) => {
if vs.len() < items.len() { return false; }
if vs.len() != items.len() { return false; }
for (i, p) in items.iter().enumerate() {
if !p.matches(&vs[i], bindings) { return false; }
}