HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-17 14:47:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix pr merge error

Browse Source
This commit is contained in:
LunaAmora 2024-03-07 15:19:47 -03:00
parent 90c81f0547
commit cd9bab42c7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/term/check/repeated_bind.rs
View File

@ -23,7 +23,7 @@ impl Ctx<'_> {
for rule in &def.rules {
let mut binds = HashSet::new();
for pat in &rule.pats {
for nam in pat.named_binds() {
for nam in pat.binds().flatten() {
if !binds.insert(nam) {
self.info.warning(def_name.clone(), RepeatedBindWarn::Rule(nam.clone()));
}
@ -52,7 +52,7 @@ impl Term {
for rule in rules {
let mut binds = HashSet::new();
for pat in &rule.pats {
for nam in pat.named_binds() {
for nam in pat.binds().flatten() {
if !binds.insert(nam) {
repeated.push(RepeatedBindWarn::Match(nam.clone()));
}