wip debugging failures, use is_bool in noirc_driver

noir-lang · Jan 9, 2025 · 5972603 · 5972603
1 parent cdd2343
commit 5972603
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/compiler/noirc_driver/src/abi_gen.rs b/compiler/noirc_driver/src/abi_gen.rs
@@ -83,7 +83,7 @@ pub(super) fn abi_type_from_hir_type(context: &Context, typ: &Type) -> AbiType {
         Type::Integer(sign, bit_width) => {
             if bit_width.is_zero() {
                 unreachable!("{typ} cannot be used in the abi")
-            } else if bit_width.is_one() {
+            } else if bit_width.is_bool() {
                 return AbiType::Boolean;
             } else if bit_width.is_field_element_bits() {
                 return AbiType::Field;

diff --git a/compiler/noirc_frontend/src/elaborator/types.rs b/compiler/noirc_frontend/src/elaborator/types.rs
@@ -901,7 +901,7 @@ impl<'context> Elaborator<'context> {
         }
 
         // TODO cleanup
-        dbg!("check_cast", &from, &to);
+        // dbg!("check_cast", &from, &to);
 
         match to {
             Type::Integer(sign, bits) => Type::Integer(*sign, *bits),

diff --git a/compiler/noirc_frontend/src/hir_def/types.rs b/compiler/noirc_frontend/src/hir_def/types.rs
@@ -1458,7 +1458,7 @@ impl Type {
             Type::Integer(_, num_bits) => {
 
                 // TODO cleanup
-                dbg!("try_bind_to_polymorphic_int", self.kind(), &this, only_integer);
+                // dbg!("try_bind_to_polymorphic_int", self.kind(), &this, only_integer);
 
                 if num_bits.is_field_element_bits() {
                     if only_integer {
@@ -1626,7 +1626,7 @@ impl Type {
                             let only_integer = typ.is_integer();
 
                             // TODO cleanup
-                            dbg!("try_bind_to_polymorphic_int: bound", &other, &var, only_integer);
+                            // dbg!("try_bind_to_polymorphic_int: bound", &other, &var, only_integer);
 
                             other.try_bind_to_polymorphic_int(var, bindings, only_integer)
                         })
@@ -1641,7 +1641,7 @@ impl Type {
                         let only_integer = false;
 
                         // TODO cleanup
-                        dbg!("try_bind_to_polymorphic_int: unbound int-or-field", &other, &var, only_integer);
+                        // dbg!("try_bind_to_polymorphic_int: unbound int-or-field", &other, &var, only_integer);
 
                         other.try_bind_to_polymorphic_int(var, bindings, only_integer)
                     }),
@@ -1650,7 +1650,7 @@ impl Type {
                         let only_integer = true;
 
                         // TODO cleanup
-                        dbg!("try_bind_to_polymorphic_int: unbound int", &other, &var, only_integer);
+                        // dbg!("try_bind_to_polymorphic_int: unbound int", &other, &var, only_integer);
 
                         other.try_bind_to_polymorphic_int(var, bindings, only_integer)
                     })