Merge pull request #227 from HigherOrderCO/fix-merge-error

Fix pr merge error
HigherOrderCO · Mar 7, 2024 · 5eec674 · 5eec674
2 parents 90c81f0 + cd9bab4
commit 5eec674
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/term/check/repeated_bind.rs b/src/term/check/repeated_bind.rs
@@ -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()));
               }