mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-24 18:52:58 +03:00
148 lines
3.1 KiB
Plaintext
148 lines
3.1 KiB
Plaintext
---
|
|
namespace: ParseStatement
|
|
expectation: Pass
|
|
outputs:
|
|
- Iteration:
|
|
variable: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
start:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "0"
|
|
- span:
|
|
lo: 13
|
|
hi: 16
|
|
stop:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "7"
|
|
- span:
|
|
lo: 18
|
|
hi: 21
|
|
inclusive: false
|
|
block:
|
|
statements: []
|
|
span:
|
|
lo: 22
|
|
hi: 24
|
|
span:
|
|
lo: 0
|
|
hi: 24
|
|
- Iteration:
|
|
variable: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: I64
|
|
start:
|
|
Literal:
|
|
Integer:
|
|
- I64
|
|
- "0"
|
|
- span:
|
|
lo: 14
|
|
hi: 18
|
|
stop:
|
|
Literal:
|
|
Integer:
|
|
- I64
|
|
- "7"
|
|
- span:
|
|
lo: 20
|
|
hi: 24
|
|
inclusive: false
|
|
block:
|
|
statements:
|
|
- Return:
|
|
expression:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "1"
|
|
- span:
|
|
lo: 34
|
|
hi: 37
|
|
span:
|
|
lo: 27
|
|
hi: 37
|
|
span:
|
|
lo: 25
|
|
hi: 40
|
|
span:
|
|
lo: 0
|
|
hi: 40
|
|
- Iteration:
|
|
variable: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_: Field
|
|
start:
|
|
Literal:
|
|
Field:
|
|
- "0"
|
|
- span:
|
|
lo: 16
|
|
hi: 22
|
|
stop:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "99"
|
|
- span:
|
|
lo: 24
|
|
hi: 28
|
|
inclusive: false
|
|
block:
|
|
statements:
|
|
- Return:
|
|
expression:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "1"
|
|
- span:
|
|
lo: 38
|
|
hi: 41
|
|
span:
|
|
lo: 31
|
|
hi: 41
|
|
span:
|
|
lo: 29
|
|
hi: 44
|
|
span:
|
|
lo: 0
|
|
hi: 44
|
|
- Iteration:
|
|
variable: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_: Boolean
|
|
start:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "0"
|
|
- span:
|
|
lo: 15
|
|
hi: 18
|
|
stop:
|
|
Identifier: "{\"name\":\"Self\",\"span\":\"{\\\"lo\\\":20,\\\"hi\\\":24}\"}"
|
|
inclusive: false
|
|
block:
|
|
statements:
|
|
- Return:
|
|
expression:
|
|
Literal:
|
|
Integer:
|
|
- U8
|
|
- "1"
|
|
- span:
|
|
lo: 34
|
|
hi: 37
|
|
span:
|
|
lo: 27
|
|
hi: 37
|
|
span:
|
|
lo: 25
|
|
hi: 40
|
|
span:
|
|
lo: 0
|
|
hi: 40
|