mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-24 02:31:44 +03:00
44 lines
1.1 KiB
Plaintext
44 lines
1.1 KiB
Plaintext
---
|
|
namespace: ParseStatement
|
|
expectation: Pass
|
|
outputs:
|
|
- Assign:
|
|
place:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
|
value:
|
|
Identifier: "{\"name\":\"expr\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":8}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 8
|
|
- Assign:
|
|
place:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
|
value:
|
|
Binary:
|
|
left:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
right:
|
|
Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":6,\\\"hi\\\":7}\"}"
|
|
op: Add
|
|
span:
|
|
lo: 4
|
|
hi: 7
|
|
span:
|
|
lo: 0
|
|
hi: 7
|
|
- Assign:
|
|
place:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
|
|
value:
|
|
Call:
|
|
function:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
arguments: []
|
|
external: ~
|
|
span:
|
|
lo: 4
|
|
hi: 7
|
|
span:
|
|
lo: 0
|
|
hi: 7
|