leo/compiler/tests/canonicalization/string_transformation.json

{
  "name": "",
  "expected_input": [],
  "imports": [],
  "circuits": {},
  "global_consts": {},
  "functions": {
    "{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"function main() {\\\"}\"}": {
      "annotations": [],
      "identifier": "{\"name\":\"main\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"function main() {\\\"}\"}",
      "input": [],
      "output": {
        "Tuple": []
      },
      "block": {
        "statements": [
          {
            "Definition": {
              "declaration_type": "Let",
              "variable_names": [
                {
                  "mutable": true,
                  "identifier": "{\"name\":\"s\",\"span\":\"{\\\"line_start\\\":2,\\\"line_stop\\\":2,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"    let s = \\\\\\\"\\\\\\\\u{2764}ello, World!\\\\\\\";\\\"}\"}",
                  "span": {
                    "line_start": 2,
                    "line_stop": 2,
                    "col_start": 9,
                    "col_stop": 10,
                    "path": "",
                    "content": "    let s = \"\\u{2764}ello, World!\";"
                  }
                }
              ],
              "type_": null,
              "value": {
                "ArrayInline": {
                  "elements": [
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "❤",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "e",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "l",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "l",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "o",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            ",",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            " ",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "W",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "o",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "r",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "l",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "d",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    },
                    {
                      "Expression": {
                        "Value": {
                          "Char": [
                            "!",
                            {
                              "line_start": 2,
                              "line_stop": 2,
                              "col_start": 13,
                              "col_stop": 35,
                              "path": "",
                              "content": "    let s = \"\\u{2764}ello, World!\";"
                            }
                          ]
                        }
                      }
                    }
                  ],
                  "span": {
                    "line_start": 2,
                    "line_stop": 2,
                    "col_start": 13,
                    "col_stop": 35,
                    "path": "",
                    "content": "    let s = \"\\u{2764}ello, World!\";"
                  }
                }
              },
              "span": {
                "line_start": 2,
                "line_stop": 2,
                "col_start": 5,
                "col_stop": 35,
                "path": "",
                "content": "    let s = \"\\u{2764}ello, World!\";"
              }
            }
          }
        ],
        "span": {
          "line_start": 1,
          "line_stop": 3,
          "col_start": 17,
          "col_stop": 2,
          "path": "",
          "content": "function main() {\n...\n}"
        }
      },
      "span": {
        "line_start": 1,
        "line_stop": 3,
        "col_start": 1,
        "col_stop": 2,
        "path": "",
        "content": "function main() {\n...\n}"
      }
    }
  }
}