initial slice changes with fetch flat size from SSA values, need to g…

…et element type size array correct
noir-lang · Sep 25, 2023 · 490f5af · 490f5af
1 parent f2dd702
commit 490f5af
Show file tree

Hide file tree

Showing 4 changed files with 305 additions and 41 deletions.
diff --git a/compiler/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs b/compiler/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs
@@ -1004,7 +1004,7 @@ impl AcirContext {
                     self.brillig_array_input(var_expressions, var)?;
                 }
             }
-            AcirValue::DynamicArray(AcirDynamicArray { block_id, len }) => {
+            AcirValue::DynamicArray(AcirDynamicArray { block_id, len, .. }) => {
                 for i in 0..len {
                     // We generate witnesses corresponding to the array values
                     let index = AcirValue::Var(