rengen tests

2024-12-18 23:02:35 +03:00 · 2022-02-18 15:21:18 -08:00 · 2022-02-18 15:21:18 -08:00 · be9a181ef2
commit be9a181ef2
parent 8fd55656ee
4 changed files with 68 additions and 0 deletions
--- a/tests/expectations/parser/parser/serialize/linear_regression.leo.out
+++ b/tests/expectations/parser/parser/serialize/linear_regression.leo.out
@ -95,6 +95,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"num_points\",\"span\":\"{\\\"line_start\\\":23,\\\"line_stop\\\":23,\\\"col_start\\\":13,\\\"col_stop\\\":23,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let num_points = 5i32;\\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -106,6 +107,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"x_sum\",\"span\":\"{\\\"line_start\\\":25,\\\"line_stop\\\":25,\\\"col_start\\\":13,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let x_sum = 0i32; \\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -117,6 +119,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"y_sum\",\"span\":\"{\\\"line_start\\\":26,\\\"line_stop\\\":26,\\\"col_start\\\":13,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let y_sum = 0i32; \\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -128,6 +131,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"xy_sum\",\"span\":\"{\\\"line_start\\\":27,\\\"line_stop\\\":27,\\\"col_start\\\":13,\\\"col_stop\\\":19,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let xy_sum = 0i32; \\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -139,6 +143,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"x2_sum\",\"span\":\"{\\\"line_start\\\":28,\\\"line_stop\\\":28,\\\"col_start\\\":13,\\\"col_stop\\\":19,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let x2_sum = 0i32; \\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -289,6 +294,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"numerator\",\"span\":\"{\\\"line_start\\\":35,\\\"line_stop\\\":35,\\\"col_start\\\":13,\\\"col_stop\\\":22,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let numerator = (num_points * xy_sum) - (x_sum * y_sum); \\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Binary:
@ -312,6 +318,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"denominator\",\"span\":\"{\\\"line_start\\\":36,\\\"line_stop\\\":36,\\\"col_start\\\":13,\\\"col_stop\\\":24,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let denominator = (num_points * x2_sum) - (x_sum * x_sum);\\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Binary:
@ -335,6 +342,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"slope\",\"span\":\"{\\\"line_start\\\":37,\\\"line_stop\\\":37,\\\"col_start\\\":13,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let slope = numerator / denominator;\\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Binary:
@ -368,6 +376,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"num_points\",\"span\":\"{\\\"line_start\\\":42,\\\"line_stop\\\":42,\\\"col_start\\\":13,\\\"col_stop\\\":23,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let num_points = 5i32; \\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -379,6 +388,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"x_sum\",\"span\":\"{\\\"line_start\\\":44,\\\"line_stop\\\":44,\\\"col_start\\\":13,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let x_sum = 0i32;\\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -390,6 +400,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"y_sum\",\"span\":\"{\\\"line_start\\\":45,\\\"line_stop\\\":45,\\\"col_start\\\":13,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let y_sum = 0i32;\\\"}\"}"
+                      parened: false
                      type_: ~
                      value:
                        Value:
@ -500,6 +511,7 @@ outputs:
                variable_names:
                  - mutable: true
                    identifier: "{\"name\":\"points\",\"span\":\"{\\\"line_start\\\":56,\\\"line_stop\\\":56,\\\"col_start\\\":7,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"  let points: [Point; 5] = [\\\"}\"}"
+                parened: false
                type_:
                  Array:
                    - Identifier: "{\"name\":\"Point\",\"span\":\"{\\\"line_start\\\":56,\\\"line_stop\\\":56,\\\"col_start\\\":16,\\\"col_stop\\\":21,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"  let points: [Point; 5] = [\\\"}\"}"
@ -622,6 +634,7 @@ outputs:
                variable_names:
                  - mutable: true
                    identifier: "{\"name\":\"reg\",\"span\":\"{\\\"line_start\\\":63,\\\"line_stop\\\":63,\\\"col_start\\\":7,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"  let reg = LinearRegression::new(points);\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Call:
@ -639,6 +652,7 @@ outputs:
                variable_names:
                  - mutable: true
                    identifier: "{\"name\":\"slope\",\"span\":\"{\\\"line_start\\\":64,\\\"line_stop\\\":64,\\\"col_start\\\":7,\\\"col_stop\\\":12,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"  let slope = reg.slope();\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Call:
@ -655,6 +669,7 @@ outputs:
                variable_names:
                  - mutable: true
                    identifier: "{\"name\":\"offset\",\"span\":\"{\\\"line_start\\\":65,\\\"line_stop\\\":65,\\\"col_start\\\":7,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"  let offset = reg.offset(slope);\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Call:
--- a/tests/expectations/parser/parser/serialize/palindrome.leo.out
+++ b/tests/expectations/parser/parser/serialize/palindrome.leo.out
@ -56,6 +56,7 @@ outputs:
                variable_names:
                  - mutable: false
                    identifier: "{\"name\":\"str_len\",\"span\":\"{\\\"line_start\\\":11,\\\"line_stop\\\":11,\\\"col_start\\\":11,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"    const str_len = 20u32; // saving const for convenience\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Value:
@ -67,6 +68,7 @@ outputs:
                variable_names:
                  - mutable: true
                    identifier: "{\"name\":\"result\",\"span\":\"{\\\"line_start\\\":14,\\\"line_stop\\\":14,\\\"col_start\\\":9,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"    let result = true;\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Value:
@ -76,6 +78,7 @@ outputs:
                variable_names:
                  - mutable: true
                    identifier: "{\"name\":\"processed\",\"span\":\"{\\\"line_start\\\":15,\\\"line_stop\\\":15,\\\"col_start\\\":9,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"    let processed = 0u8;\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Value:
@ -103,6 +106,7 @@ outputs:
                        variable_names:
                          - mutable: true
                            identifier: "{\"name\":\"start_sym\",\"span\":\"{\\\"line_start\\\":18,\\\"line_stop\\\":18,\\\"col_start\\\":13,\\\"col_stop\\\":22,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let start_sym = str[start];\\\"}\"}"
+                        parened: false
                        type_: ~
                        value:
                          Access:
@ -129,6 +133,7 @@ outputs:
                                variable_names:
                                  - mutable: true
                                    identifier: "{\"name\":\"skipped\",\"span\":\"{\\\"line_start\\\":20,\\\"line_stop\\\":20,\\\"col_start\\\":17,\\\"col_stop\\\":24,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"            let skipped = 0u8;\\\"}\"}"
+                                parened: false
                                type_: ~
                                value:
                                  Value:
@ -140,6 +145,7 @@ outputs:
                                variable_names:
                                  - mutable: true
                                    identifier: "{\"name\":\"end_empty\",\"span\":\"{\\\"line_start\\\":21,\\\"line_stop\\\":21,\\\"col_start\\\":17,\\\"col_stop\\\":26,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"            let end_empty = 0u8;\\\"}\"}"
+                                parened: false
                                type_: ~
                                value:
                                  Value:
@ -151,6 +157,7 @@ outputs:
                                variable_names:
                                  - mutable: true
                                    identifier: "{\"name\":\"end_sym\",\"span\":\"{\\\"line_start\\\":22,\\\"line_stop\\\":22,\\\"col_start\\\":17,\\\"col_stop\\\":24,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"            let end_sym = ' ';\\\"}\"}"
+                                parened: false
                                type_: ~
                                value:
                                  Value:
--- a/tests/expectations/parser/parser/serialize/pedersen_hash.leo.out
+++ b/tests/expectations/parser/parser/serialize/pedersen_hash.leo.out
@ -64,6 +64,7 @@ outputs:
                      variable_names:
                        - mutable: true
                          identifier: "{\"name\":\"digest\",\"span\":\"{\\\"line_start\\\":12,\\\"line_stop\\\":12,\\\"col_start\\\":13,\\\"col_stop\\\":19,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"        let digest: group = 0group;\\\"}\"}"
+                      parened: false
                      type_: Group
                      value:
                        Value:
@ -143,6 +144,7 @@ outputs:
                variable_names:
                  - mutable: false
                    identifier: "{\"name\":\"pedersen\",\"span\":\"{\\\"line_start\\\":24,\\\"line_stop\\\":24,\\\"col_start\\\":11,\\\"col_stop\\\":19,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"    const pedersen = PedersenHash::new(parameters);\\\"}\"}"
+                parened: false
                type_: ~
                value:
                  Call:
--- a/tests/expectations/parser/parser/statement/definition.leo.out
+++ b/tests/expectations/parser/parser/statement/definition.leo.out
@ -14,6 +14,7 @@ outputs:
            col_stop: 6
            path: ""
            content: let x = expr;
+      parened: false
      type_: ~
      value:
        Identifier: "{\"name\":\"expr\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = expr;\\\"}\"}"
@ -36,6 +37,7 @@ outputs:
            col_stop: 6
            path: ""
            content: let x = ();
+      parened: false
      type_: ~
      value:
        TupleInit:
@ -66,6 +68,7 @@ outputs:
            col_stop: 6
            path: ""
            content: let x = x+y;
+      parened: false
      type_: ~
      value:
        Binary:
@ -100,6 +103,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x = (x,y);"
+      parened: false
      type_: ~
      value:
        TupleInit:
@ -132,6 +136,7 @@ outputs:
            col_stop: 6
            path: ""
            content: let x = x();
+      parened: false
      type_: ~
      value:
        Call:
@ -164,6 +169,7 @@ outputs:
            col_stop: 8
            path: ""
            content: const x = expr;
+      parened: false
      type_: ~
      value:
        Identifier: "{\"name\":\"expr\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":11,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"const x = expr;\\\"}\"}"
@ -186,6 +192,7 @@ outputs:
            col_stop: 8
            path: ""
            content: const x = ();
+      parened: false
      type_: ~
      value:
        TupleInit:
@ -216,6 +223,7 @@ outputs:
            col_stop: 8
            path: ""
            content: const x = x+y;
+      parened: false
      type_: ~
      value:
        Binary:
@ -250,6 +258,7 @@ outputs:
            col_stop: 8
            path: ""
            content: "const x = (x,y);"
+      parened: false
      type_: ~
      value:
        TupleInit:
@ -282,6 +291,7 @@ outputs:
            col_stop: 8
            path: ""
            content: const x = x();
+      parened: false
      type_: ~
      value:
        Call:
@ -314,6 +324,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: u32 = expr;"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -337,6 +348,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: u32 = ();"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -368,6 +380,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: u32 = x+y;"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -403,6 +416,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: u32 = (x,y);"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -436,6 +450,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: u32 = x();"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -469,6 +484,7 @@ outputs:
            col_stop: 8
            path: ""
            content: "const x: u32 = expr;"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -492,6 +508,7 @@ outputs:
            col_stop: 8
            path: ""
            content: "const x: u32 = ();"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -523,6 +540,7 @@ outputs:
            col_stop: 8
            path: ""
            content: "const x: u32 = x+y;"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -558,6 +576,7 @@ outputs:
            col_stop: 8
            path: ""
            content: "const x: u32 = (x,y);"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -591,6 +610,7 @@ outputs:
            col_stop: 8
            path: ""
            content: "const x: u32 = x();"
+      parened: false
      type_:
        IntegerType: U32
      value:
@ -633,6 +653,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y) = expr;"
+      parened: true
      type_: ~
      value:
        Identifier: "{\"name\":\"expr\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":18,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let (x, y) = expr;\\\"}\"}"
@ -664,6 +685,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y) = ();"
+      parened: true
      type_: ~
      value:
        TupleInit:
@ -703,6 +725,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y) = x+y;"
+      parened: true
      type_: ~
      value:
        Binary:
@ -746,6 +769,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y) = (x,y);"
+      parened: true
      type_: ~
      value:
        TupleInit:
@ -787,6 +811,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y) = x();"
+      parened: true
      type_: ~
      value:
        Call:
@ -828,6 +853,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y) = expr;"
+      parened: true
      type_: ~
      value:
        Identifier: "{\"name\":\"expr\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":16,\\\"col_stop\\\":20,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"const (x, y) = expr;\\\"}\"}"
@ -859,6 +885,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y) = ();"
+      parened: true
      type_: ~
      value:
        TupleInit:
@ -898,6 +925,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y) = x+y;"
+      parened: true
      type_: ~
      value:
        Binary:
@ -941,6 +969,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y) = (x,y);"
+      parened: true
      type_: ~
      value:
        TupleInit:
@ -982,6 +1011,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y) = x();"
+      parened: true
      type_: ~
      value:
        Call:
@ -1023,6 +1053,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y): u32 = expr;"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1055,6 +1086,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y): u32 = ();"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1095,6 +1127,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y): u32 = x+y;"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1139,6 +1172,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y): u32 = (x,y);"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1181,6 +1215,7 @@ outputs:
            col_stop: 10
            path: ""
            content: "let (x, y): u32 = x();"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1223,6 +1258,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y): u32 = expr;"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1255,6 +1291,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y): u32 = ();"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1295,6 +1332,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y): u32 = x+y;"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1339,6 +1377,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y): u32 = (x,y);"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1381,6 +1420,7 @@ outputs:
            col_stop: 12
            path: ""
            content: "const (x, y): u32 = x();"
+      parened: true
      type_:
        IntegerType: U32
      value:
@ -1423,6 +1463,7 @@ outputs:
            col_stop: 9
            path: ""
            content: "let (x,y,) = ();"
+      parened: true
      type_: ~
      value:
        TupleInit:
@ -1453,6 +1494,7 @@ outputs:
            col_stop: 7
            path: ""
            content: "let (x,) = ();"
+      parened: true
      type_: ~
      value:
        TupleInit:
@ -1483,6 +1525,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: [char; _] = \"Hello, World!\";"
+      parened: false
      type_:
        Array:
          - Char
@ -1529,6 +1572,7 @@ outputs:
            col_stop: 6
            path: ""
            content: "let x: [[u8; 2]; 2] = [[0,0], [0,0]];"
+      parened: false
      type_:
        Array:
          - Array: