mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-24 10:41:57 +03:00
121 lines
3.8 KiB
Plaintext
121 lines
3.8 KiB
Plaintext
---
|
|
namespace: ParseExpression
|
|
expectation: Pass
|
|
outputs:
|
|
- Unary:
|
|
inner:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":2,\\\"col_stop\\\":3,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-x\\\"}\"}"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 1
|
|
col_stop: 3
|
|
path: negate.leo
|
|
content: "-x"
|
|
- Unary:
|
|
inner:
|
|
CircuitMemberAccess:
|
|
circuit:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":2,\\\"col_stop\\\":3,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-x.y\\\"}\"}"
|
|
name: "{\"name\":\"y\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-x.y\\\"}\"}"
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 2
|
|
col_stop: 5
|
|
path: negate.leo
|
|
content: "-x.y"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 1
|
|
col_stop: 5
|
|
path: negate.leo
|
|
content: "-x.y"
|
|
- Unary:
|
|
inner:
|
|
CircuitStaticFunctionAccess:
|
|
circuit:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":2,\\\"col_stop\\\":3,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-x::y\\\"}\"}"
|
|
name: "{\"name\":\"y\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-x::y\\\"}\"}"
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 2
|
|
col_stop: 6
|
|
path: negate.leo
|
|
content: "-x::y"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 1
|
|
col_stop: 6
|
|
path: negate.leo
|
|
content: "-x::y"
|
|
- Unary:
|
|
inner:
|
|
Call:
|
|
function:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":2,\\\"col_stop\\\":3,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-x()\\\"}\"}"
|
|
arguments: []
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 2
|
|
col_stop: 5
|
|
path: negate.leo
|
|
content: "-x()"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 1
|
|
col_stop: 5
|
|
path: negate.leo
|
|
content: "-x()"
|
|
- Unary:
|
|
inner:
|
|
Unary:
|
|
inner:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":3,\\\"col_stop\\\":4,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"--x\\\"}\"}"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 2
|
|
col_stop: 4
|
|
path: negate.leo
|
|
content: "--x"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 1
|
|
col_stop: 4
|
|
path: negate.leo
|
|
content: "--x"
|
|
- Unary:
|
|
inner:
|
|
Unary:
|
|
inner:
|
|
Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":3,\\\"col_stop\\\":4,\\\"path\\\":\\\"negate.leo\\\",\\\"content\\\":\\\"-!x\\\"}\"}"
|
|
op: Not
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 2
|
|
col_stop: 4
|
|
path: negate.leo
|
|
content: "-!x"
|
|
op: Negate
|
|
span:
|
|
line_start: 1
|
|
line_stop: 1
|
|
col_start: 1
|
|
col_stop: 4
|
|
path: negate.leo
|
|
content: "-!x"
|