ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

reverse iter for building array, add test case for it

Browse Source
This commit is contained in:
gluaxspeed 2021-02-09 10:26:16 -05:00
parent 1898cc6840
commit e48b971789
4 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ast/src/input/input_value.rs
View File

@ -177,7 +177,7 @@ impl InputValue {
let mut elements = vec![];
// Build the elements of the array using the `vec!` macro
for (i, dimension) in initializer_dimensions.into_iter().enumerate() {
for (i, dimension) in initializer_dimensions.into_iter().rev().enumerate() {
if i == 0 {
elements = vec![value.clone(); dimension];
} else {

2
compiler/tests/input_files/program_input/input/main_multi_dimension_array.in Normal file
View File

@ -0,0 +1,2 @@
[main]
x: [i16; (2, 2, 3)] = [0i16; (2, 2, 3)];

6
compiler/tests/input_files/program_input/main_multi_dimension_array.leo Normal file
View File

@ -0,0 +1,6 @@
function main(x: [i16; (2, 2, 3)]){
console.log("x: {}", x);
let y: [i16; (2, 2, 3)] = [0i16; (2, 2, 3)];
console.log("y: {}", y);
}

10
compiler/tests/input_files/program_input/mod.rs
View File

@ -44,6 +44,16 @@ fn test_input_array_fail() {
assert_satisfied(program);
}
#[test]
fn test_input_multi_dimension_array() {
let program_string = include_str!("main_multi_dimension_array.leo");
let input_string = include_str!("input/main_multi_dimension_array.in");
let program = parse_program_with_input(program_string, input_string).unwrap();
assert_satisfied(program);
}
#[test]
fn test_input_fail_name() {
let program_string = include_str!("main.leo");