mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-24 02:31:44 +03:00
305 lines
8.5 KiB
Plaintext
305 lines
8.5 KiB
Plaintext
---
|
|
namespace: ParseStatement
|
|
expectation: Pass
|
|
outputs:
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aimport\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":19}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 19
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"a_\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":14}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 14
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aas\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":15}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 15
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aconsole\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":20}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 20
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aconst\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":18}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 18
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"alet\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"afor\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aif\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":15}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 15
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aelse\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"ai8\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":15}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 15
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"ai16\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"ai32\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"ai64\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"ai128\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"au8\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":15}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 15
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"au16\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"au32\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"au64\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":16}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 16
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"au128\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"areturn\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":19}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 19
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aself\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"aSelf\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"atrue\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":17}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 17
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"afalse\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":18}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 18
|
|
id: 2
|
|
- Definition:
|
|
declaration_type: Let
|
|
place:
|
|
Identifier: "{\"id\":\"0\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":4,\\\"hi\\\":5}\"}"
|
|
type_:
|
|
Integer: U8
|
|
value:
|
|
Identifier: "{\"id\":\"1\",\"name\":\"a0\",\"span\":\"{\\\"lo\\\":12,\\\"hi\\\":14}\"}"
|
|
span:
|
|
lo: 0
|
|
hi: 14
|
|
id: 2
|