Fix implementation of DeBruijnMap::is_empty

ufmg-smite · Feb 26, 2024 · f9901be · f9901be
1 parent 1421309
commit f9901be
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/carcara/src/ast/polyeq.rs b/carcara/src/ast/polyeq.rs
@@ -482,7 +482,7 @@ impl DeBruijnMap {
     }
 
     fn is_empty(&self) -> bool {
-        self.indices.0.is_empty() && self.indices.1.is_empty() && self.counter.is_empty()
+        self.indices.0.is_empty() && self.indices.1.is_empty()
     }
 
     fn push(&mut self) {

diff --git a/carcara/src/utils.rs b/carcara/src/utils.rs
@@ -111,12 +111,8 @@ impl<K, V> HashMapStack<K, V> {
         Self { scopes: vec![IndexMap::new()] }
     }
 
-    pub fn height(&self) -> usize {
-        self.scopes.len()
-    }
-
     pub fn is_empty(&self) -> bool {
-        self.height() == 0
+        self.scopes.iter().all(IndexMap::is_empty)
     }
 
     pub fn push_scope(&mut self) {