Add missing sorts in PolyEq implementation

ufmg-smite · Feb 26, 2024 · 3e332f5 · 3e332f5
1 parent f9901be
commit 3e332f5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/carcara/src/ast/polyeq.rs b/carcara/src/ast/polyeq.rs
@@ -364,10 +364,14 @@ impl Polyeq for Sort {
             (Sort::Bool, Sort::Bool)
             | (Sort::Int, Sort::Int)
             | (Sort::Real, Sort::Real)
-            | (Sort::String, Sort::String) => true,
+            | (Sort::String, Sort::String)
+            | (Sort::RegLan, Sort::RegLan)
+            | (Sort::RareList, Sort::RareList)
+            | (Sort::Type, Sort::Type) => true,
             (Sort::Array(x_a, y_a), Sort::Array(x_b, y_b)) => {
                 Polyeq::eq(comp, x_a, x_b) && Polyeq::eq(comp, y_a, y_b)
             }
+            (Sort::BitVec(a), Sort::BitVec(b)) => a == b,
             _ => false,
         }
     }