From 85be04d114b3f1d23d4bba0734eaa19815878e6d Mon Sep 17 00:00:00 2001 From: vezenovm Date: Wed, 14 Feb 2024 18:00:30 +0000 Subject: [PATCH] update comment for value_types --- compiler/noirc_evaluator/src/ssa/acir_gen/mod.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/compiler/noirc_evaluator/src/ssa/acir_gen/mod.rs b/compiler/noirc_evaluator/src/ssa/acir_gen/mod.rs index 4d0d79736ee..8d4d0668534 100644 --- a/compiler/noirc_evaluator/src/ssa/acir_gen/mod.rs +++ b/compiler/noirc_evaluator/src/ssa/acir_gen/mod.rs @@ -101,9 +101,14 @@ pub(crate) struct AcirDynamicArray { len: usize, /// An ACIR dynamic array is a flat structure, so we use /// the inner structure of an `AcirType::NumericType` directly. - /// Some usages of ACIR arrays (e.g. black box hashes) require the bit size + /// Some usages of ACIR arrays (e.g. black box functions) require the bit size /// of every value to be known, thus we store the types as part of the dynamic /// array definition. + /// + /// A dynamic non-homogenous array can potentially have values of differing types. + /// Thus, we store a vector of types rather than a single type, as a dynamic non-homogenous array + /// is still represented in ACIR by a single `AcirDynamicArray` structure. + /// /// The length of the value types vector must match the `len` field in this structure. value_types: Vec, /// Identification for the ACIR dynamic array