BoundedInt builtin translates as felt

cartridge-gg · Dec 14, 2024 · dfaba4b · dfaba4b
1 parent 139f7c8
commit dfaba4b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/crates/parser/src/tokens/constants.rs b/crates/parser/src/tokens/constants.rs
@@ -22,10 +22,11 @@ pub const CAIRO_CORE_BASIC: [&str; 17] = [
 // to match array pattern.
 pub const CAIRO_CORE_SPAN_ARRAY: [&str; 2] = ["core::array::Span", "core::array::Array"];
 
-pub const CAIRO_GENERIC_BUILTINS: [&str; 3] = [
+pub const CAIRO_GENERIC_BUILTINS: [&str; 4] = [
     "core::option::Option",
     "core::result::Result",
     "core::zeroable::NonZero",
+    "core::internal::bounded_int::BoundedInt"
 ];
 
 pub const CAIRO_COMPOSITE_BUILTINS: [&str; 3] = [

diff --git a/crates/rs/src/expand/types.rs b/crates/rs/src/expand/types.rs
@@ -139,6 +139,7 @@ fn builtin_composite_to_rust(type_name: &str) -> (String, bool) {
         "ByteArray" => (format!("{ccsp}::ByteArray"), true),
         "NonZero" => (format!("{ccsp}::NonZero"), true),
         "U256" => (format!("{ccsp}::U256"), true),
+        "BoundedInt" => ("starknet::core::types::Felt".to_string(), true),
         _ => (type_name.to_string(), false),
     }
 }