support nested tuple types

This commit is contained in:
collin 2020-08-10 19:45:03 -07:00
parent a0195c3180
commit 79846ab565
2 changed files with 9 additions and 9 deletions

View File

@ -197,7 +197,7 @@ type_circuit = { identifier }
// Declared in types/array_type.rs
type_array = { type_data ~ ("[" ~ number_positive ~ "]")+ }
type_tuple = _{ "(" ~ type_ ~ ("," ~ type_)+ ~ ")" }
type_tuple = _{ "(" ~ type_ ~ ("," ~ (type_tuple | type_))+ ~ ")" }
/// Values

View File

@ -90,11 +90,11 @@ fn test_nested_access() {
assert_satisfied(program);
}
// #[test]
// fn test_nested_typed() {
// let program_bytes = include_bytes!("nested_typed.leo");
//
// let program = parse_program(program_bytes).unwrap();
//
// assert_satisfied(program);
// }
#[test]
fn test_nested_typed() {
let program_bytes = include_bytes!("nested_typed.leo");
let program = parse_program(program_bytes).unwrap();
assert_satisfied(program);
}