From b961128367a39befd0c3d375be0faf736b5068c2 Mon Sep 17 00:00:00 2001 From: CrescentonC Date: Fri, 16 Jul 2021 13:12:59 +0800 Subject: [PATCH] some more test for tupe constant indexing --- nac3core/src/typecheck/expression_inference.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/nac3core/src/typecheck/expression_inference.rs b/nac3core/src/typecheck/expression_inference.rs index 7c80d0efd..58a17f347 100644 --- a/nac3core/src/typecheck/expression_inference.rs +++ b/nac3core/src/typecheck/expression_inference.rs @@ -642,6 +642,7 @@ pub mod test { let ast9 = rustpython_parser::parser::parse_expression("[1, 2, 3, 4, 5][1: 2]").unwrap(); let ast10 = rustpython_parser::parser::parse_expression("4 if False and True else 8").unwrap(); let ast11 = rustpython_parser::parser::parse_expression("(1, 2, 3, 4)[1]").unwrap(); + let ast12 = rustpython_parser::parser::parse_expression("(1, True, 3, False)[1]").unwrap(); let folded = inf.fold_expr(ast1).unwrap(); let folded_2 = Premapper.fold_expr(ast2).unwrap(); @@ -654,6 +655,7 @@ pub mod test { let folded_9 = inf.fold_expr(ast9).unwrap(); let folded_10 = inf.fold_expr(ast10).unwrap(); let folded_11 = inf.fold_expr(ast11).unwrap(); + let folded_12 = inf.fold_expr(ast12).unwrap(); println!("{:?}", folded.custom); println!("{:?}", folded_2.custom); @@ -666,6 +668,7 @@ pub mod test { println!("{:?}", folded_9.custom); println!("{:?}", folded_10.custom); println!("{:?}", folded_11.custom); + println!("{:?}", folded_12.custom); } } \ No newline at end of file