From 05f49c9a45bdab1e8d777b80a13fd04b8c616306 Mon Sep 17 00:00:00 2001
From: Nick Aquina <n.aquina@tue.nl>
Date: Wed, 25 Feb 2026 16:54:29 +0100
Subject: [PATCH] Resolve constants when parsing circuit input string

---
 src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index 5665bb2..82aba6c 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -281,7 +281,8 @@ impl GarbleProgram {
         let Some(param) = self.main.params.get(arg_index) else {
             return Err(EvalError::InvalidArgIndex(arg_index));
         };
-        let literal = Literal::parse(&self.program, &param.ty, literal)
+        let ty = resolve_const_type(&param.ty, &self.const_sizes);
+        let literal = Literal::parse(&self.program, &ty, literal)
             .map_err(EvalError::LiteralParseError)?;
         Ok(GarbleArgument(literal, &self.program, &self.const_sizes))
     }