Add ConstBody definition

lambdaclass · May 9, 2024 · f4c9ff5 · f4c9ff5
1 parent a1638d4
commit f4c9ff5
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/crates/concrete_ir/src/lib.rs b/crates/concrete_ir/src/lib.rs
@@ -38,6 +38,7 @@ pub struct ProgramBody {
     /// This stores all the structs from all modules
     pub structs: BTreeMap<DefId, AdtBody>,
     /// The function signatures.
+    pub constants: BTreeMap<DefId, ConstBody>,
     pub function_signatures: HashMap<DefId, (Vec<Ty>, Ty)>,
     /// The file paths (program_id from the DefId) -> path.
     pub file_paths: HashMap<usize, PathBuf>,
@@ -270,6 +271,13 @@ pub struct VariantDef {
     pub ty: Ty,
 }
 
+#[derive(Debug, Clone)]
+pub struct ConstBody {
+    pub id: DefId,
+    pub name: String,
+    pub value: ConstData,
+}
+
 // A definition id.
 #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Default)]
 pub struct DefId {