From f4c9ff5e6bc3e42bf2dff27a34cb11855e020ff7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juli=C3=A1n=20Gonz=C3=A1lez=20Calder=C3=B3n?=
 <gonzalezcalderonjulian@gmail.com>
Date: Thu, 9 May 2024 11:20:42 -0300
Subject: [PATCH] Add ConstBody definition

---
 crates/concrete_ir/src/lib.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/crates/concrete_ir/src/lib.rs b/crates/concrete_ir/src/lib.rs
index 7be040f..75dc627 100644
--- 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 {