ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 07:07:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

Regen expectations

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2024-04-13 10:49:32 -07:00
parent 004484b58c
commit d8216a4d6e
33 changed files with 375 additions and 403 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/expectations/parser/expression/cast_fail.out
View File

@ -3,7 +3,7 @@ namespace: ParseExpression
expectation: Fail expectation: Fail
outputs: outputs:
- "did not consume all input: 'aas' @ 1:5-8\n'u8' @ 1:9-11\n" - "did not consume all input: 'aas' @ 1:5-8\n'u8' @ 1:9-11\n"
- "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found '{'\n --> test:1:10\n |\n 1 | 1u128 as { foo: u8 }\n | ^" - "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'Future', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found '{'\n --> test:1:10\n |\n 1 | 1u128 as { foo: u8 }\n | ^"
- "did not consume all input: ';' @ 1:14-15\n" - "did not consume all input: ';' @ 1:14-15\n"
- "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found 'bar'\n --> test:1:8\n |\n 1 | 1u8 as bar;\n | ^^^" - "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'Future', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found 'bar'\n --> test:1:8\n |\n 1 | 1u8 as bar;\n | ^^^"
- "did not consume all input: 'asu8' @ 1:5-9\n" - "did not consume all input: 'asu8' @ 1:5-9\n"

162
tests/expectations/parser/finalize/finalize.out
View File

@ -13,117 +13,121 @@ outputs:
functions: functions:
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: AsyncTransition
identifier: "{\"id\":\"2\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":43}\"}" identifier: "{\"id\":\"2\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":47,\\\"hi\\\":51}\"}"
input: [] input: []
output: output:
- Internal: - Internal:
mode: None mode: None
type_: Boolean type_: Boolean
span: span:
lo: 49 lo: 57
hi: 53 hi: 61
id: 3 id: 3
output_type: Boolean output_type: Boolean
block: block:
statements: [] statements: []
span: span:
lo: 54 lo: 62
hi: 66 hi: 74
id: 4 id: 4
finalize:
identifier: "{\"id\":\"5\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":85,\\\"hi\\\":89}\"}"
input: []
output: []
output_type: Unit
block:
statements: []
span:
lo: 92
hi: 104
id: 6
span:
lo: 76
hi: 104
id: 7
span: span:
lo: 30 lo: 30
hi: 66 hi: 74
id: 5
- - finalize_main
- annotations: []
variant: AsyncFunction
identifier: "{\"id\":\"6\",\"name\":\"finalize_main\",\"span\":\"{\\\"lo\\\":99,\\\"hi\\\":112}\"}"
input: []
output: []
output_type: Unit
block:
statements: []
span:
lo: 115
hi: 127
id: 7
span:
lo: 84
hi: 127
id: 8 id: 8
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"9\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":123,\\\"hi\\\":127}\"}" identifier: "{\"id\":\"9\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":146,\\\"hi\\\":150}\"}"
input: [] input: []
output: output:
- Internal: - Internal:
mode: None mode: None
type_: Boolean type_: Boolean
span: span:
lo: 133 lo: 156
hi: 137 hi: 160
id: 10 id: 10
output_type: Boolean output_type: Boolean
block: block:
statements: [] statements: []
span: span:
lo: 138 lo: 161
hi: 150 hi: 173
id: 11 id: 11
finalize: span:
identifier: "{\"id\":\"12\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":160,\\\"hi\\\":164}\"}" lo: 137
input: hi: 173
- Internal: id: 12
identifier: "{\"id\":\"13\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":165,\\\"hi\\\":166}\"}" - - main
mode: None - annotations: []
type_: variant: AsyncFunction
Composite: identifier: "{\"id\":\"13\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":193,\\\"hi\\\":197}\"}"
id: "{\"id\":\"14\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":168,\\\"hi\\\":171}\"}" input:
program: test - Internal:
span: identifier: "{\"id\":\"14\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":198,\\\"hi\\\":199}\"}"
lo: 165 mode: None
hi: 166 type_:
id: 15 Composite:
- Internal: id: "{\"id\":\"15\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":201,\\\"hi\\\":204}\"}"
identifier: "{\"id\":\"16\",\"name\":\"b\",\"span\":\"{\\\"lo\\\":173,\\\"hi\\\":174}\"}" program: test
mode: None span:
type_: lo: 198
Composite: hi: 199
id: "{\"id\":\"17\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":176,\\\"hi\\\":179}\"}" id: 16
program: test - Internal:
span: identifier: "{\"id\":\"17\",\"name\":\"b\",\"span\":\"{\\\"lo\\\":206,\\\"hi\\\":207}\"}"
lo: 173 mode: None
hi: 174 type_:
id: 18 Composite:
output: id: "{\"id\":\"18\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":209,\\\"hi\\\":212}\"}"
- Internal: program: test
mode: None span:
type_: lo: 206
Composite: hi: 207
id: "{\"id\":\"19\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":184,\\\"hi\\\":187}\"}" id: 19
program: test output:
span: - Internal:
lo: 184 mode: None
hi: 187 type_:
id: 20 Composite:
output_type: id: "{\"id\":\"20\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":217,\\\"hi\\\":220}\"}"
Composite: program: test
id: "{\"id\":\"19\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":184,\\\"hi\\\":187}\"}" span:
program: test lo: 217
block: hi: 220
statements: [] id: 21
span: output_type:
lo: 188 Composite:
hi: 200 id: "{\"id\":\"20\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":217,\\\"hi\\\":220}\"}"
id: 21 program: test
block:
statements: []
span: span:
lo: 151 lo: 221
hi: 200 hi: 233
id: 22 id: 22
span: span:
lo: 114 lo: 178
hi: 150 hi: 233
id: 23 id: 23
span: span:
lo: 2 lo: 2
hi: 212 hi: 245

2
tests/expectations/parser/finalize/finalize_fail.out
View File

@ -2,4 +2,4 @@
namespace: Parse namespace: Parse
expectation: Fail expectation: Fail
outputs: outputs:
- "Error [EPAR0370009]: unexpected string: expected 'identifier', found '{'\n --> test:6:16\n |\n 6 | } finalize {\n | ^" - "Error [EPAR0370005]: expected 'struct', 'record', 'mapping', '@', 'function', 'transition', 'inline' -- found 'finalize'\n --> test:6:7\n |\n 6 | } finalize {\n | ^^^^^^^^"

11
tests/expectations/parser/finalize/finalize_statement_fail.out
View File

@ -2,10 +2,7 @@
namespace: ParseStatement namespace: ParseStatement
expectation: Fail expectation: Fail
outputs: outputs:
- "Error [EPAR0370031]: `finalize` statements are deprecated.\n --> test:1:1\n |\n 1 | finalize(;\n | ^^^^^^^^\n |\n = Use `return <expr> then finalize(<args>)` instead." - "Error [EPAR0370005]: expected ; -- found 'finalize'\n --> test:1:13\n |\n 1 | return then finalize;\n | ^^^^^^^^"
- "Error [EPAR0370031]: `finalize` statements are deprecated.\n --> test:1:1\n |\n 1 | finalize(foo, ,);\n | ^^^^^^^^\n |\n = Use `return <expr> then finalize(<args>)` instead." - "Error [EPAR0370005]: expected ; -- found 'finalize'\n --> test:1:13\n |\n 1 | return then finalize();\n | ^^^^^^^^"
- "Error [EPAR0370031]: `finalize` statements are deprecated.\n --> test:1:1\n |\n 1 | finalize(foo, bar)\n | ^^^^^^^^\n |\n = Use `return <expr> then finalize(<args>)` instead." - "Error [EPAR0370005]: expected ; -- found 'finalize'\n --> test:1:13\n |\n 1 | return then finalize(foo);\n | ^^^^^^^^"
- "Error [EPAR0370005]: expected ; -- found 'async'\n --> test:1:7\n |\n 1 | async async finalize(foo);\n | ^^^^^" - "Error [EPAR0370005]: expected ; -- found 'finalize'\n --> test:1:13\n |\n 1 | return then finalize(foo, bar);\n | ^^^^^^^^"
- "Error [EPAR0370031]: `finalize` statements are deprecated.\n --> test:1:1\n |\n 1 | finalize;\n | ^^^^^^^^\n |\n = Use `return <expr> then finalize(<args>)` instead."
- "Error [EPAR0370005]: expected ; -- found 'finalize'\n --> test:1:6\n |\n 1 | asyn finalize(foo);\n | ^^^^^^^^"
- "Error [EPAR0370005]: expected finalize -- found 'fin'\n --> test:1:13\n |\n 1 | return then fin;\n | ^^^"

8
tests/expectations/parser/functions/annotated_context.out
View File

@ -18,7 +18,7 @@ outputs:
lo: 30 lo: 30
hi: 38 hi: 38
id: 3 id: 3
variant: Standard variant: Function
identifier: "{\"id\":\"4\",\"name\":\"f\",\"span\":\"{\\\"lo\\\":52,\\\"hi\\\":53}\"}" identifier: "{\"id\":\"4\",\"name\":\"f\",\"span\":\"{\\\"lo\\\":52,\\\"hi\\\":53}\"}"
input: [] input: []
output: output:
@ -44,7 +44,6 @@ outputs:
lo: 79 lo: 79
hi: 82 hi: 82
- 6 - 6
finalize_arguments: ~
span: span:
lo: 72 lo: 72
hi: 83 hi: 83
@ -53,7 +52,6 @@ outputs:
lo: 62 lo: 62
hi: 89 hi: 89
id: 8 id: 8
finalize: ~
span: span:
lo: 43 lo: 43
hi: 89 hi: 89
@ -65,7 +63,7 @@ outputs:
lo: 99 lo: 99
hi: 107 hi: 107
id: 11 id: 11
variant: Standard variant: Function
identifier: "{\"id\":\"12\",\"name\":\"g\",\"span\":\"{\\\"lo\\\":141,\\\"hi\\\":142}\"}" identifier: "{\"id\":\"12\",\"name\":\"g\",\"span\":\"{\\\"lo\\\":141,\\\"hi\\\":142}\"}"
input: [] input: []
output: output:
@ -91,7 +89,6 @@ outputs:
lo: 168 lo: 168
hi: 171 hi: 171
- 14 - 14
finalize_arguments: ~
span: span:
lo: 161 lo: 161
hi: 172 hi: 172
@ -100,7 +97,6 @@ outputs:
lo: 151 lo: 151
hi: 178 hi: 178
id: 16 id: 16
finalize: ~
span: span:
lo: 132 lo: 132
hi: 178 hi: 178

90
tests/expectations/parser/functions/annotated_functions.out
View File

@ -11,48 +11,6 @@ outputs:
structs: [] structs: []
mappings: [] mappings: []
functions: functions:
- - foo
- annotations:
- identifier: "{\"id\":\"2\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":31,\\\"hi\\\":34}\"}"
span:
lo: 30
hi: 34
id: 3
- identifier: "{\"id\":\"4\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":40,\\\"hi\\\":43}\"}"
span:
lo: 39
hi: 43
id: 5
- identifier: "{\"id\":\"6\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":52}\"}"
span:
lo: 48
hi: 52
id: 7
variant: Standard
identifier: "{\"id\":\"8\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":66,\\\"hi\\\":69}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 75
hi: 77
id: 9
output_type:
Integer: U8
block:
statements: []
span:
lo: 78
hi: 80
id: 10
finalize: ~
span:
lo: 57
hi: 80
id: 11
- - mint - - mint
- annotations: [] - annotations: []
variant: Transition variant: Transition
@ -75,11 +33,51 @@ outputs:
lo: 114 lo: 114
hi: 116 hi: 116
id: 14 id: 14
finalize: ~
span: span:
lo: 90 lo: 90
hi: 116 hi: 116
id: 15 id: 15
- - foo
- annotations:
- identifier: "{\"id\":\"2\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":31,\\\"hi\\\":34}\"}"
span:
lo: 30
hi: 34
id: 3
- identifier: "{\"id\":\"4\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":40,\\\"hi\\\":43}\"}"
span:
lo: 39
hi: 43
id: 5
- identifier: "{\"id\":\"6\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":52}\"}"
span:
lo: 48
hi: 52
id: 7
variant: Function
identifier: "{\"id\":\"8\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":66,\\\"hi\\\":69}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 75
hi: 77
id: 9
output_type:
Integer: U8
block:
statements: []
span:
lo: 78
hi: 80
id: 10
span:
lo: 57
hi: 80
id: 11
- - test - - test
- annotations: - annotations:
- identifier: "{\"id\":\"16\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":127,\\\"hi\\\":131}\"}" - identifier: "{\"id\":\"16\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":127,\\\"hi\\\":131}\"}"
@ -87,7 +85,7 @@ outputs:
lo: 126 lo: 126
hi: 131 hi: 131
id: 17 id: 17
variant: Standard variant: Function
identifier: "{\"id\":\"18\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":145,\\\"hi\\\":149}\"}" identifier: "{\"id\":\"18\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":145,\\\"hi\\\":149}\"}"
input: [] input: []
output: output:
@ -107,7 +105,6 @@ outputs:
lo: 158 lo: 158
hi: 160 hi: 160
id: 20 id: 20
finalize: ~
span: span:
lo: 136 lo: 136
hi: 160 hi: 160
@ -119,7 +116,7 @@ outputs:
lo: 170 lo: 170
hi: 178 hi: 178
id: 23 id: 23
variant: Standard variant: Function
identifier: "{\"id\":\"24\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":192,\\\"hi\\\":195}\"}" identifier: "{\"id\":\"24\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":192,\\\"hi\\\":195}\"}"
input: [] input: []
output: output:
@ -139,7 +136,6 @@ outputs:
lo: 204 lo: 204
hi: 206 hi: 206
id: 26 id: 26
finalize: ~
span: span:
lo: 183 lo: 183
hi: 206 hi: 206

7
tests/expectations/parser/functions/bounded_recursion.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: input:
- Internal: - Internal:
@ -104,14 +104,13 @@ outputs:
lo: 64 lo: 64
hi: 126 hi: 126
id: 17 id: 17
finalize: ~
span: span:
lo: 30 lo: 30
hi: 126 hi: 126
id: 18 id: 18
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"19\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":145,\\\"hi\\\":149}\"}" identifier: "{\"id\":\"19\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":145,\\\"hi\\\":149}\"}"
input: input:
- Internal: - Internal:
@ -159,7 +158,6 @@ outputs:
- Return: - Return:
expression: expression:
Identifier: "{\"id\":\"27\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":201,\\\"hi\\\":202}\"}" Identifier: "{\"id\":\"27\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":201,\\\"hi\\\":202}\"}"
finalize_arguments: ~
span: span:
lo: 194 lo: 194
hi: 203 hi: 203
@ -168,7 +166,6 @@ outputs:
lo: 167 lo: 167
hi: 209 hi: 209
id: 29 id: 29
finalize: ~
span: span:
lo: 136 lo: 136
hi: 209 hi: 209

8
tests/expectations/parser/functions/const_param.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: input:
- Internal: - Internal:
@ -57,7 +57,6 @@ outputs:
lo: 89 lo: 89
hi: 92 hi: 92
- 8 - 8
finalize_arguments: ~
span: span:
lo: 82 lo: 82
hi: 93 hi: 93
@ -66,14 +65,13 @@ outputs:
lo: 72 lo: 72
hi: 99 hi: 99
id: 10 id: 10
finalize: ~
span: span:
lo: 30 lo: 30
hi: 99 hi: 99
id: 11 id: 11
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"12\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":118,\\\"hi\\\":119}\"}" identifier: "{\"id\":\"12\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":118,\\\"hi\\\":119}\"}"
input: input:
- Internal: - Internal:
@ -117,7 +115,6 @@ outputs:
lo: 168 lo: 168
hi: 171 hi: 171
- 18 - 18
finalize_arguments: ~
span: span:
lo: 161 lo: 161
hi: 172 hi: 172
@ -126,7 +123,6 @@ outputs:
lo: 151 lo: 151
hi: 178 hi: 178
id: 20 id: 20
finalize: ~
span: span:
lo: 109 lo: 109
hi: 178 hi: 178

3
tests/expectations/parser/functions/constant_input.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: input:
- Internal: - Internal:
@ -42,7 +42,6 @@ outputs:
lo: 63 lo: 63
hi: 65 hi: 65
id: 6 id: 6
finalize: ~
span: span:
lo: 30 lo: 30
hi: 65 hi: 65

3
tests/expectations/parser/functions/danling_annotations_fail.out
View File

@ -18,7 +18,7 @@ outputs:
lo: 110 lo: 110
hi: 115 hi: 115
id: 3 id: 3
variant: Standard variant: Function
identifier: "{\"id\":\"4\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":134,\\\"hi\\\":138}\"}" identifier: "{\"id\":\"4\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":134,\\\"hi\\\":138}\"}"
input: [] input: []
output: output:
@ -38,7 +38,6 @@ outputs:
lo: 147 lo: 147
hi: 149 hi: 149
id: 6 id: 6
finalize: ~
span: span:
lo: 125 lo: 125
hi: 149 hi: 149

3
tests/expectations/parser/functions/empty2.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: [] input: []
output: output:
@ -33,7 +33,6 @@ outputs:
lo: 49 lo: 49
hi: 51 hi: 51
id: 4 id: 4
finalize: ~
span: span:
lo: 30 lo: 30
hi: 51 hi: 51

7
tests/expectations/parser/functions/infinite_recursion.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - "inf" - - "inf"
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"inf\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":42}\"}" identifier: "{\"id\":\"2\",\"name\":\"inf\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":42}\"}"
input: [] input: []
output: output:
@ -48,14 +48,13 @@ outputs:
lo: 51 lo: 51
hi: 73 hi: 73
id: 7 id: 7
finalize: ~
span: span:
lo: 30 lo: 30
hi: 73 hi: 73
id: 8 id: 8
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"9\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":92,\\\"hi\\\":96}\"}" identifier: "{\"id\":\"9\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":92,\\\"hi\\\":96}\"}"
input: input:
- Internal: - Internal:
@ -95,7 +94,6 @@ outputs:
- Return: - Return:
expression: expression:
Identifier: "{\"id\":\"16\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":146,\\\"hi\\\":147}\"}" Identifier: "{\"id\":\"16\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":146,\\\"hi\\\":147}\"}"
finalize_arguments: ~
span: span:
lo: 139 lo: 139
hi: 148 hi: 148
@ -104,7 +102,6 @@ outputs:
lo: 114 lo: 114
hi: 154 hi: 154
id: 18 id: 18
finalize: ~
span: span:
lo: 83 lo: 83
hi: 154 hi: 154

2
tests/expectations/parser/functions/inline_function.out
View File

@ -57,7 +57,6 @@ outputs:
lo: 77 lo: 77
hi: 81 hi: 81
- 8 - 8
finalize_arguments: ~
span: span:
lo: 70 lo: 70
hi: 82 hi: 82
@ -66,7 +65,6 @@ outputs:
lo: 60 lo: 60
hi: 88 hi: 88
id: 10 id: 10
finalize: ~
span: span:
lo: 26 lo: 26
hi: 88 hi: 88

4
tests/expectations/parser/functions/params.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: input:
- Internal: - Internal:
@ -57,7 +57,6 @@ outputs:
lo: 80 lo: 80
hi: 83 hi: 83
- 8 - 8
finalize_arguments: ~
span: span:
lo: 73 lo: 73
hi: 84 hi: 84
@ -66,7 +65,6 @@ outputs:
lo: 63 lo: 63
hi: 90 hi: 90
id: 10 id: 10
finalize: ~
span: span:
lo: 30 lo: 30
hi: 90 hi: 90

4
tests/expectations/parser/functions/params_return.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: input:
- Internal: - Internal:
@ -57,7 +57,6 @@ outputs:
lo: 81 lo: 81
hi: 84 hi: 84
- 8 - 8
finalize_arguments: ~
span: span:
lo: 74 lo: 74
hi: 85 hi: 85
@ -66,7 +65,6 @@ outputs:
lo: 64 lo: 64
hi: 91 hi: 91
id: 10 id: 10
finalize: ~
span: span:
lo: 30 lo: 30
hi: 91 hi: 91

8
tests/expectations/parser/functions/public_param.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: input:
- Internal: - Internal:
@ -57,7 +57,6 @@ outputs:
lo: 87 lo: 87
hi: 90 hi: 90
- 8 - 8
finalize_arguments: ~
span: span:
lo: 80 lo: 80
hi: 91 hi: 91
@ -66,14 +65,13 @@ outputs:
lo: 70 lo: 70
hi: 97 hi: 97
id: 10 id: 10
finalize: ~
span: span:
lo: 30 lo: 30
hi: 97 hi: 97
id: 11 id: 11
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"12\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":116,\\\"hi\\\":117}\"}" identifier: "{\"id\":\"12\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":116,\\\"hi\\\":117}\"}"
input: input:
- Internal: - Internal:
@ -117,7 +115,6 @@ outputs:
lo: 164 lo: 164
hi: 167 hi: 167
- 18 - 18
finalize_arguments: ~
span: span:
lo: 157 lo: 157
hi: 168 hi: 168
@ -126,7 +123,6 @@ outputs:
lo: 147 lo: 147
hi: 174 hi: 174
id: 20 id: 20
finalize: ~
span: span:
lo: 107 lo: 107
hi: 174 hi: 174

4
tests/expectations/parser/functions/return.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - x - - x
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}" identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: [] input: []
output: output:
@ -39,7 +39,6 @@ outputs:
lo: 67 lo: 67
hi: 70 hi: 70
- 4 - 4
finalize_arguments: ~
span: span:
lo: 60 lo: 60
hi: 71 hi: 71
@ -48,7 +47,6 @@ outputs:
lo: 50 lo: 50
hi: 77 hi: 77
id: 6 id: 6
finalize: ~
span: span:
lo: 30 lo: 30
hi: 77 hi: 77

2
tests/expectations/parser/functions/transition_function.out
View File

@ -57,7 +57,6 @@ outputs:
lo: 81 lo: 81
hi: 85 hi: 85
- 8 - 8
finalize_arguments: ~
span: span:
lo: 74 lo: 74
hi: 86 hi: 86
@ -66,7 +65,6 @@ outputs:
lo: 64 lo: 64
hi: 92 hi: 92
id: 10 id: 10
finalize: ~
span: span:
lo: 26 lo: 26
hi: 92 hi: 92

16
tests/expectations/parser/program/async_basic.out
View File

@ -23,8 +23,7 @@ outputs:
functions: functions:
- - main - - main
- annotations: [] - annotations: []
is_async: true variant: AsyncTransition
variant: Transition
identifier: "{\"id\":\"4\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":72,\\\"hi\\\":76}\"}" identifier: "{\"id\":\"4\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":72,\\\"hi\\\":76}\"}"
input: [] input: []
output: output:
@ -33,6 +32,8 @@ outputs:
type_: type_:
Future: Future:
inputs: [] inputs: []
location: ~
is_explicit: false
span: span:
lo: 82 lo: 82
hi: 88 hi: 88
@ -40,6 +41,8 @@ outputs:
output_type: output_type:
Future: Future:
inputs: [] inputs: []
location: ~
is_explicit: false
block: block:
statements: statements:
- Definition: - Definition:
@ -49,6 +52,8 @@ outputs:
type_: type_:
Future: Future:
inputs: [] inputs: []
location: ~
is_explicit: false
value: value:
Call: Call:
function: function:
@ -96,8 +101,7 @@ outputs:
id: 15 id: 15
- - finalize_main - - finalize_main
- annotations: [] - annotations: []
is_async: true variant: AsyncFunction
variant: Standard
identifier: "{\"id\":\"16\",\"name\":\"finalize_main\",\"span\":\"{\\\"lo\\\":186,\\\"hi\\\":199}\"}" identifier: "{\"id\":\"16\",\"name\":\"finalize_main\",\"span\":\"{\\\"lo\\\":186,\\\"hi\\\":199}\"}"
input: input:
- Internal: - Internal:
@ -124,6 +128,8 @@ outputs:
type_: type_:
Future: Future:
inputs: [] inputs: []
location: ~
is_explicit: false
span: span:
lo: 217 lo: 217
hi: 223 hi: 223
@ -131,6 +137,8 @@ outputs:
output_type: output_type:
Future: Future:
inputs: [] inputs: []
location: ~
is_explicit: false
block: block:
statements: statements:
- Expression: - Expression:

373
tests/expectations/parser/program/external_mapping.out
View File

@ -19,8 +19,8 @@ outputs:
functions: functions:
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: AsyncTransition
identifier: "{\"id\":\"3\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":53,\\\"hi\\\":57}\"}" identifier: "{\"id\":\"3\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":61,\\\"hi\\\":65}\"}"
input: [] input: []
output: [] output: []
output_type: Unit output_type: Unit
@ -29,7 +29,7 @@ outputs:
- Definition: - Definition:
declaration_type: Let declaration_type: Let
place: place:
Identifier: "{\"id\":\"4\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":74,\\\"hi\\\":75}\"}" Identifier: "{\"id\":\"4\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":82,\\\"hi\\\":83}\"}"
type_: type_:
Integer: U8 Integer: U8
value: value:
@ -38,203 +38,204 @@ outputs:
- U8 - U8
- "1" - "1"
- span: - span:
lo: 81 lo: 89
hi: 84 hi: 92
- 5 - 5
span: span:
lo: 70 lo: 78
hi: 84 hi: 92
id: 6 id: 6
- Return: - Return:
expression: expression:
Unit: Unit:
span: span:
lo: 101 lo: 108
hi: 105 hi: 109
id: 7 id: 7
finalize_arguments: []
span: span:
lo: 94 lo: 102
hi: 117 hi: 109
id: 8 id: 8
span: span:
lo: 60 lo: 68
hi: 123 hi: 115
id: 9 id: 9
finalize:
identifier: "{\"id\":\"10\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":137,\\\"hi\\\":141}\"}"
input: []
output: []
output_type: Unit
block:
statements:
- Expression:
expression:
Access:
AssociatedFunction:
variant: "{\"id\":\"11\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":154,\\\"hi\\\":161}\"}"
name: "{\"id\":\"12\",\"name\":\"set\",\"span\":\"{\\\"lo\\\":163,\\\"hi\\\":166}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"15\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":173,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":177}\\\\\\\"}\\\"\"}"
name: counter
span:
lo: 167
hi: 185
id: 16
- Identifier: "{\"id\":\"17\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":187,\\\"hi\\\":191}\"}"
- Binary:
left:
Identifier: "{\"id\":\"18\",\"name\":\"current_value\",\"span\":\"{\\\"lo\\\":193,\\\"hi\\\":206}\"}"
right:
Literal:
Integer:
- U64
- "1"
- span:
lo: 209
hi: 213
- 19
op: Add
span:
lo: 193
hi: 213
id: 20
span:
lo: 154
hi: 214
id: 21
span:
lo: 154
hi: 215
id: 22
- Expression:
expression:
Access:
AssociatedFunction:
variant: "{\"id\":\"23\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":224,\\\"hi\\\":231}\"}"
name: "{\"id\":\"24\",\"name\":\"remove\",\"span\":\"{\\\"lo\\\":233,\\\"hi\\\":239}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"27\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":246,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":250}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 240
hi: 254
id: 28
- Identifier: "{\"id\":\"29\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":256,\\\"hi\\\":260}\"}"
span:
lo: 224
hi: 261
id: 30
span:
lo: 224
hi: 262
id: 31
- Definition:
declaration_type: Let
place:
Identifier: "{\"id\":\"32\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":275,\\\"hi\\\":276}\"}"
type_:
Integer: U32
value:
Access:
AssociatedFunction:
variant: "{\"id\":\"33\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":283,\\\"hi\\\":290}\"}"
name: "{\"id\":\"34\",\"name\":\"get\",\"span\":\"{\\\"lo\\\":292,\\\"hi\\\":295}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"37\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":302,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":306}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 296
hi: 310
id: 38
- Identifier: "{\"id\":\"39\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":312,\\\"hi\\\":316}\"}"
span:
lo: 283
hi: 317
id: 40
span:
lo: 271
hi: 317
id: 41
- Definition:
declaration_type: Let
place:
Identifier: "{\"id\":\"42\",\"name\":\"b\",\"span\":\"{\\\"lo\\\":331,\\\"hi\\\":332}\"}"
type_:
Integer: U32
value:
Access:
AssociatedFunction:
variant: "{\"id\":\"43\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":339,\\\"hi\\\":346}\"}"
name: "{\"id\":\"44\",\"name\":\"get_or_use\",\"span\":\"{\\\"lo\\\":348,\\\"hi\\\":358}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"47\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":365,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":369}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 359
hi: 373
id: 48
- Identifier: "{\"id\":\"49\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":375,\\\"hi\\\":379}\"}"
- Literal:
Integer:
- U64
- "0"
- span:
lo: 381
hi: 385
- 50
span:
lo: 339
hi: 386
id: 51
span:
lo: 327
hi: 386
id: 52
- Definition:
declaration_type: Let
place:
Identifier: "{\"id\":\"53\",\"name\":\"c\",\"span\":\"{\\\"lo\\\":400,\\\"hi\\\":401}\"}"
type_:
Integer: U32
value:
Access:
AssociatedFunction:
variant: "{\"id\":\"54\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":408,\\\"hi\\\":415}\"}"
name: "{\"id\":\"55\",\"name\":\"contains\",\"span\":\"{\\\"lo\\\":417,\\\"hi\\\":425}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"58\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":432,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":436}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 426
hi: 440
id: 59
- Identifier: "{\"id\":\"60\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":442,\\\"hi\\\":446}\"}"
span:
lo: 408
hi: 447
id: 61
span:
lo: 396
hi: 447
id: 62
span:
lo: 144
hi: 454
id: 63
span:
lo: 128
hi: 454
id: 64
span: span:
lo: 44 lo: 44
hi: 123 hi: 115
id: 10
- - finalize_main
- annotations: []
variant: AsyncFunction
identifier: "{\"id\":\"11\",\"name\":\"finalize_main\",\"span\":\"{\\\"lo\\\":135,\\\"hi\\\":148}\"}"
input: []
output: []
output_type: Unit
block:
statements:
- Expression:
expression:
Access:
AssociatedFunction:
variant: "{\"id\":\"12\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":161,\\\"hi\\\":168}\"}"
name: "{\"id\":\"13\",\"name\":\"set\",\"span\":\"{\\\"lo\\\":170,\\\"hi\\\":173}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"16\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":180,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":184}\\\\\\\"}\\\"\"}"
name: counter
span:
lo: 174
hi: 192
id: 17
- Identifier: "{\"id\":\"18\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":194,\\\"hi\\\":198}\"}"
- Binary:
left:
Identifier: "{\"id\":\"19\",\"name\":\"current_value\",\"span\":\"{\\\"lo\\\":200,\\\"hi\\\":213}\"}"
right:
Literal:
Integer:
- U64
- "1"
- span:
lo: 216
hi: 220
- 20
op: Add
span:
lo: 200
hi: 220
id: 21
span:
lo: 161
hi: 221
id: 22
span:
lo: 161
hi: 222
id: 23
- Expression:
expression:
Access:
AssociatedFunction:
variant: "{\"id\":\"24\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":231,\\\"hi\\\":238}\"}"
name: "{\"id\":\"25\",\"name\":\"remove\",\"span\":\"{\\\"lo\\\":240,\\\"hi\\\":246}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"28\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":253,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":257}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 247
hi: 261
id: 29
- Identifier: "{\"id\":\"30\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":263,\\\"hi\\\":267}\"}"
span:
lo: 231
hi: 268
id: 31
span:
lo: 231
hi: 269
id: 32
- Definition:
declaration_type: Let
place:
Identifier: "{\"id\":\"33\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":282,\\\"hi\\\":283}\"}"
type_:
Integer: U32
value:
Access:
AssociatedFunction:
variant: "{\"id\":\"34\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":290,\\\"hi\\\":297}\"}"
name: "{\"id\":\"35\",\"name\":\"get\",\"span\":\"{\\\"lo\\\":299,\\\"hi\\\":302}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"38\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":309,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":313}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 303
hi: 317
id: 39
- Identifier: "{\"id\":\"40\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":319,\\\"hi\\\":323}\"}"
span:
lo: 290
hi: 324
id: 41
span:
lo: 278
hi: 324
id: 42
- Definition:
declaration_type: Let
place:
Identifier: "{\"id\":\"43\",\"name\":\"b\",\"span\":\"{\\\"lo\\\":338,\\\"hi\\\":339}\"}"
type_:
Integer: U32
value:
Access:
AssociatedFunction:
variant: "{\"id\":\"44\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":346,\\\"hi\\\":353}\"}"
name: "{\"id\":\"45\",\"name\":\"get_or_use\",\"span\":\"{\\\"lo\\\":355,\\\"hi\\\":365}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"48\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":372,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":376}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 366
hi: 380
id: 49
- Identifier: "{\"id\":\"50\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":382,\\\"hi\\\":386}\"}"
- Literal:
Integer:
- U64
- "0"
- span:
lo: 388
hi: 392
- 51
span:
lo: 346
hi: 393
id: 52
span:
lo: 334
hi: 393
id: 53
- Definition:
declaration_type: Let
place:
Identifier: "{\"id\":\"54\",\"name\":\"c\",\"span\":\"{\\\"lo\\\":407,\\\"hi\\\":408}\"}"
type_:
Integer: U32
value:
Access:
AssociatedFunction:
variant: "{\"id\":\"55\",\"name\":\"Mapping\",\"span\":\"{\\\"lo\\\":415,\\\"hi\\\":422}\"}"
name: "{\"id\":\"56\",\"name\":\"contains\",\"span\":\"{\\\"lo\\\":424,\\\"hi\\\":432}\"}"
arguments:
- Locator:
program: "{\"name\":\"hello\",\"network\":\"\\\"{\\\\\\\"id\\\\\\\":\\\\\\\"59\\\\\\\",\\\\\\\"name\\\\\\\":\\\\\\\"aleo\\\\\\\",\\\\\\\"span\\\\\\\":\\\\\\\"{\\\\\\\\\\\\\\\"lo\\\\\\\\\\\\\\\":439,\\\\\\\\\\\\\\\"hi\\\\\\\\\\\\\\\":443}\\\\\\\"}\\\"\"}"
name: foo
span:
lo: 433
hi: 447
id: 60
- Identifier: "{\"id\":\"61\",\"name\":\"addr\",\"span\":\"{\\\"lo\\\":449,\\\"hi\\\":453}\"}"
span:
lo: 415
hi: 454
id: 62
span:
lo: 403
hi: 454
id: 63
span:
lo: 151
hi: 461
id: 64
span:
lo: 120
hi: 461
id: 65 id: 65
span: span:
lo: 20 lo: 20
hi: 456 hi: 463

3
tests/expectations/parser/program/import.out
View File

@ -19,7 +19,7 @@ outputs:
functions: functions:
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"3\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":53,\\\"hi\\\":57}\"}" identifier: "{\"id\":\"3\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":53,\\\"hi\\\":57}\"}"
input: [] input: []
output: [] output: []
@ -49,7 +49,6 @@ outputs:
lo: 60 lo: 60
hi: 91 hi: 91
id: 7 id: 7
finalize: ~
span: span:
lo: 44 lo: 44
hi: 91 hi: 91

2
tests/expectations/parser/program/locator_expression_fail.out
View File

@ -2,4 +2,4 @@
namespace: Parse namespace: Parse
expectation: Fail expectation: Fail
outputs: outputs:
- "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found 'mapping'\n --> test:7:16\n |\n 7 | let a: mapping = relay.aleo/users;\n | ^^^^^^^" - "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'Future', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found 'mapping'\n --> test:7:16\n |\n 7 | let a: mapping = relay.aleo/users;\n | ^^^^^^^"

4
tests/expectations/parser/serialize/one_plus_one.out
View File

@ -13,7 +13,7 @@ outputs:
functions: functions:
- - main - - main
- annotations: [] - annotations: []
variant: Standard variant: Function
identifier: "{\"id\":\"2\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":35,\\\"hi\\\":39}\"}" identifier: "{\"id\":\"2\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":35,\\\"hi\\\":39}\"}"
input: [] input: []
output: output:
@ -43,8 +43,6 @@ outputs:
- 5 - 5
op: Add op: Add
id: 6 id: 6
finalize_arguments: ~
id: 7 id: 7
id: 8 id: 8
finalize: ~
id: 9 id: 9

2
tests/expectations/parser/statement/async_fail.out
View File

@ -2,4 +2,4 @@
namespace: ParseStatement namespace: ParseStatement
expectation: Fail expectation: Fail
outputs: outputs:
- "Error [EPAR0370005]: expected ; -- found 'finalize'\n --> test:1:7\n |\n 1 | async finalize(foo);\n | ^^^^^^^^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found 'async'\n --> test:1:1\n |\n 1 | async finalize(foo);\n | ^^^^^"

3
tests/expectations/parser/statement/block.out
View File

@ -20,7 +20,6 @@ outputs:
lo: 9 lo: 9
hi: 12 hi: 12
- 0 - 0
finalize_arguments: ~
span: span:
lo: 2 lo: 2
hi: 13 hi: 13
@ -55,7 +54,6 @@ outputs:
lo: 11 lo: 11
hi: 14 hi: 14
- 0 - 0
finalize_arguments: ~
span: span:
lo: 4 lo: 4
hi: 15 hi: 15
@ -85,7 +83,6 @@ outputs:
lo: 16 lo: 16
hi: 19 hi: 19
- 1 - 1
finalize_arguments: ~
span: span:
lo: 9 lo: 9
hi: 20 hi: 20

3
tests/expectations/parser/statement/conditional.out
View File

@ -17,7 +17,6 @@ outputs:
lo: 14 lo: 14
hi: 17 hi: 17
- 1 - 1
finalize_arguments: ~
span: span:
lo: 7 lo: 7
hi: 18 hi: 18
@ -46,7 +45,6 @@ outputs:
lo: 16 lo: 16
hi: 19 hi: 19
- 1 - 1
finalize_arguments: ~
span: span:
lo: 9 lo: 9
hi: 20 hi: 20
@ -156,7 +154,6 @@ outputs:
lo: 16 lo: 16
hi: 19 hi: 19
- 3 - 3
finalize_arguments: ~
span: span:
lo: 9 lo: 9
hi: 20 hi: 20

6
tests/expectations/parser/statement/definition_fail.out
View File

@ -26,18 +26,18 @@ outputs:
- "Error [EPAR0370009]: unexpected string: expected 'expression', found ','\n --> test:1:6\n |\n 1 | let (,x,y) = ();\n | ^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found ','\n --> test:1:6\n |\n 1 | let (,x,y) = ();\n | ^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', found ','\n --> test:1:8\n |\n 1 | let (x,,y) = ();\n | ^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found ','\n --> test:1:8\n |\n 1 | let (x,,y) = ();\n | ^"
- "Error [EPAR0370005]: expected integer literal -- found '('\n --> test:1:13\n |\n 1 | let x: [u8; (2,,)] = [[0,0], [0,0]];\n | ^" - "Error [EPAR0370005]: expected integer literal -- found '('\n --> test:1:13\n |\n 1 | let x: [u8; (2,,)] = [[0,0], [0,0]];\n | ^"
- "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found 'constant'\n --> test:1:8\n |\n 1 | let x: constant = expr;\n | ^^^^^^^^" - "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'Future', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found 'constant'\n --> test:1:8\n |\n 1 | let x: constant = expr;\n | ^^^^^^^^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', found 'constant'\n --> test:1:1\n |\n 1 | constant x: let = expr;\n | ^^^^^^^^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found 'constant'\n --> test:1:1\n |\n 1 | constant x: let = expr;\n | ^^^^^^^^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', found '<eof>'\n --> test:1:1\n |\n 1 | let\n | ^^^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found '<eof>'\n --> test:1:1\n |\n 1 | let\n | ^^^"
- "Error [EPAR0370005]: expected : -- found '<eof>'\n --> test:1:5\n |\n 1 | let x\n | ^" - "Error [EPAR0370005]: expected : -- found '<eof>'\n --> test:1:5\n |\n 1 | let x\n | ^"
- "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found '<eof>'\n --> test:1:6\n |\n 1 | let x:\n | ^" - "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'Future', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found '<eof>'\n --> test:1:6\n |\n 1 | let x:\n | ^"
- "Error [EPAR0370005]: expected : -- found '='\n --> test:1:7\n |\n 1 | let x = (a, y]);\n | ^" - "Error [EPAR0370005]: expected : -- found '='\n --> test:1:7\n |\n 1 | let x = (a, y]);\n | ^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', found '='\n --> test:1:5\n |\n 1 | let = 1u8;\n | ^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found '='\n --> test:1:5\n |\n 1 | let = 1u8;\n | ^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', found ';'\n --> test:1:4\n |\n 1 | let;\n | ^" - "Error [EPAR0370009]: unexpected string: expected 'expression', found ';'\n --> test:1:4\n |\n 1 | let;\n | ^"
- "Error [EPAR0370005]: expected : -- found '1'\n --> test:1:7\n |\n 1 | let x 1u8;\n | ^" - "Error [EPAR0370005]: expected : -- found '1'\n --> test:1:7\n |\n 1 | let x 1u8;\n | ^"
- "Error [EPAR0370005]: expected = -- found ';'\n --> test:1:10\n |\n 1 | let x: u8;\n | ^" - "Error [EPAR0370005]: expected = -- found ';'\n --> test:1:10\n |\n 1 | let x: u8;\n | ^"
- "Error [EPAR0370005]: expected = -- found '<eof>'\n --> test:1:8\n |\n 1 | let x: u8\n | ^^" - "Error [EPAR0370005]: expected = -- found '<eof>'\n --> test:1:8\n |\n 1 | let x: u8\n | ^^"
- "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found '='\n --> test:1:8\n |\n 1 | let x: = 1;\n | ^" - "Error [EPAR0370005]: expected 'address', 'bool', 'field', 'Future', 'group', 'scalar', 'signature', 'string', 'i8', 'i16', 'i32', 'i64', 'i128', 'u8', 'u16', 'u32', 'u64', 'u128' -- found '='\n --> test:1:8\n |\n 1 | let x: = 1;\n | ^"
- "Error [EPAR0370005]: expected ; -- found ']'\n --> test:1:11\n |\n 1 | let x: [u8] = 1;\n | ^" - "Error [EPAR0370005]: expected ; -- found ']'\n --> test:1:11\n |\n 1 | let x: [u8] = 1;\n | ^"
- "Error [EPAR0370005]: expected integer literal -- found '<eof>'\n --> test:1:11\n |\n 1 | let x: [u8;\n | ^" - "Error [EPAR0370005]: expected integer literal -- found '<eof>'\n --> test:1:11\n |\n 1 | let x: [u8;\n | ^"
- "Error [EPAR0370005]: expected ] -- found 'u8'\n --> test:1:14\n |\n 1 | let x: [u8; 1u8] = [1,\n | ^^" - "Error [EPAR0370005]: expected ] -- found 'u8'\n --> test:1:14\n |\n 1 | let x: [u8; 1u8] = [1,\n | ^^"

19
tests/expectations/parser/statement/finalize_fail.out
View File

@ -1,5 +1,20 @@
--- ---
namespace: ParseStatement namespace: ParseStatement
expectation: Fail expectation: Pass
outputs: outputs:
- "Error [EPAR0370031]: `finalize` statements are deprecated.\n --> test:1:1\n |\n 1 | finalize(foo);\n | ^^^^^^^^\n |\n = Use `return <expr> then finalize(<args>)` instead." - Expression:
expression:
Call:
function:
Identifier: "{\"id\":\"0\",\"name\":\"finalize\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":8}\"}"
arguments:
- Identifier: "{\"id\":\"1\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":9,\\\"hi\\\":12}\"}"
program: ~
span:
lo: 0
hi: 13
id: 2
span:
lo: 0
hi: 14
id: 3

3
tests/expectations/parser/statement/iteration.out
View File

@ -70,7 +70,6 @@ outputs:
lo: 34 lo: 34
hi: 37 hi: 37
- 3 - 3
finalize_arguments: ~
span: span:
lo: 27 lo: 27
hi: 38 hi: 38
@ -116,7 +115,6 @@ outputs:
lo: 38 lo: 38
hi: 41 hi: 41
- 3 - 3
finalize_arguments: ~
span: span:
lo: 31 lo: 31
hi: 42 hi: 42
@ -156,7 +154,6 @@ outputs:
lo: 34 lo: 34
hi: 37 hi: 37
- 3 - 3
finalize_arguments: ~
span: span:
lo: 27 lo: 27
hi: 38 hi: 38

2
tests/expectations/parser/statement/return.out
View File

@ -5,7 +5,6 @@ outputs:
- Return: - Return:
expression: expression:
Identifier: "{\"id\":\"0\",\"name\":\"expr\",\"span\":\"{\\\"lo\\\":7,\\\"hi\\\":11}\"}" Identifier: "{\"id\":\"0\",\"name\":\"expr\",\"span\":\"{\\\"lo\\\":7,\\\"hi\\\":11}\"}"
finalize_arguments: ~
span: span:
lo: 0 lo: 0
hi: 12 hi: 12
@ -20,7 +19,6 @@ outputs:
lo: 7 lo: 7
hi: 10 hi: 10
- 0 - 0
finalize_arguments: ~
span: span:
lo: 0 lo: 0
hi: 11 hi: 11

4
tests/expectations/parser/type_/signature.out
View File

@ -104,7 +104,6 @@ outputs:
lo: 77 lo: 77
hi: 197 hi: 197
id: 29 id: 29
finalize: ~
span: span:
lo: 26 lo: 26
hi: 197 hi: 197
@ -167,7 +166,6 @@ outputs:
- Return: - Return:
expression: expression:
Identifier: "{\"id\":\"40\",\"name\":\"signature\",\"span\":\"{\\\"lo\\\":285,\\\"hi\\\":294}\"}" Identifier: "{\"id\":\"40\",\"name\":\"signature\",\"span\":\"{\\\"lo\\\":285,\\\"hi\\\":294}\"}"
finalize_arguments: ~
span: span:
lo: 278 lo: 278
hi: 295 hi: 295
@ -176,7 +174,6 @@ outputs:
lo: 231 lo: 231
hi: 301 hi: 301
id: 42 id: 42
finalize: ~
span: span:
lo: 203 lo: 203
hi: 301 hi: 301
@ -252,7 +249,6 @@ outputs:
lo: 357 lo: 357
hi: 434 hi: 434
id: 63 id: 63
finalize: ~
span: span:
lo: 306 lo: 306
hi: 434 hi: 434

2
tests/tests/parser/program/external_mapping.leo
View File

@ -6,7 +6,7 @@ import hello.aleo;
program test.aleo { program test.aleo {
async transition main() { async transition main() {
let x:u8 = 1u8; let x:u8 = 1u8;
return then finalize(); return;
} }
async function finalize_main() { async function finalize_main() {
Mapping::set(hello.aleo/counter, addr, current_value + 1u64); Mapping::set(hello.aleo/counter, addr, current_value + 1u64);

2
tests/tests/parser/statement/finalize_fail.leo
View File

@ -1,6 +1,6 @@
/* /*
namespace: ParseStatement namespace: ParseStatement
expectation: Fail expectation: Pass
*/ */
finalize(foo); finalize(foo);