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

regen parser exp

Browse Source
This commit is contained in:
evan-schott 2024-04-16 16:06:33 -07:00
parent e7fa88cfe4
commit 313add0493
21 changed files with 425 additions and 481 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -17,13 +17,12 @@ outputs:
identifier: "{\"id\":\"2\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":43}\"}"
input: []
output:
- Internal:
mode: None
type_: Boolean
span:
lo: 49
hi: 53
id: 3
- mode: None
type_: Boolean
span:
lo: 49
hi: 53
id: 3
output_type: Boolean
block:
statements: []
@ -56,13 +55,12 @@ outputs:
identifier: "{\"id\":\"9\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":123,\\\"hi\\\":127}\"}"
input: []
output:
- Internal:
mode: None
type_: Boolean
span:
lo: 133
hi: 137
id: 10
- mode: None
type_: Boolean
span:
lo: 133
hi: 137
id: 10
output_type: Boolean
block:
statements: []
@ -73,43 +71,40 @@ outputs:
finalize:
identifier: "{\"id\":\"12\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":160,\\\"hi\\\":164}\"}"
input:
- Internal:
identifier: "{\"id\":\"13\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":165,\\\"hi\\\":166}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"14\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":168,\\\"hi\\\":171}\"}"
program: test
span:
lo: 165
hi: 166
id: 15
- Internal:
identifier: "{\"id\":\"16\",\"name\":\"b\",\"span\":\"{\\\"lo\\\":173,\\\"hi\\\":174}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"17\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":176,\\\"hi\\\":179}\"}"
program: test
span:
lo: 173
hi: 174
id: 18
- identifier: "{\"id\":\"13\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":165,\\\"hi\\\":166}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"14\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":168,\\\"hi\\\":171}\"}"
program: ~
span:
lo: 165
hi: 166
id: 15
- identifier: "{\"id\":\"16\",\"name\":\"b\",\"span\":\"{\\\"lo\\\":173,\\\"hi\\\":174}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"17\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":176,\\\"hi\\\":179}\"}"
program: ~
span:
lo: 173
hi: 174
id: 18
output:
- Internal:
mode: None
type_:
Composite:
id: "{\"id\":\"19\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":184,\\\"hi\\\":187}\"}"
program: test
span:
lo: 184
hi: 187
id: 20
- mode: None
type_:
Composite:
id: "{\"id\":\"19\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":184,\\\"hi\\\":187}\"}"
program: ~
span:
lo: 184
hi: 187
id: 20
output_type:
Composite:
id: "{\"id\":\"19\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":184,\\\"hi\\\":187}\"}"
program: test
program: ~
block:
statements: []
span:

4
tests/expectations/parser/finalize/mapping.out
View File

@ -15,11 +15,11 @@ outputs:
key_type:
Composite:
id: "{\"id\":\"3\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":43,\\\"hi\\\":46}\"}"
program: test
program: ~
value_type:
Composite:
id: "{\"id\":\"4\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":50,\\\"hi\\\":53}\"}"
program: test
program: ~
span:
lo: 30
hi: 54

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

@ -22,14 +22,13 @@ outputs:
identifier: "{\"id\":\"4\",\"name\":\"f\",\"span\":\"{\\\"lo\\\":52,\\\"hi\\\":53}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 59
hi: 61
id: 5
- mode: None
type_:
Integer: U8
span:
lo: 59
hi: 61
id: 5
output_type:
Integer: U8
block:
@ -69,14 +68,13 @@ outputs:
identifier: "{\"id\":\"12\",\"name\":\"g\",\"span\":\"{\\\"lo\\\":141,\\\"hi\\\":142}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 148
hi: 150
id: 13
- mode: None
type_:
Integer: U8
span:
lo: 148
hi: 150
id: 13
output_type:
Integer: U8
block:

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

@ -32,14 +32,13 @@ outputs:
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
- mode: None
type_:
Integer: U8
span:
lo: 75
hi: 77
id: 9
output_type:
Integer: U8
block:
@ -59,14 +58,13 @@ outputs:
identifier: "{\"id\":\"12\",\"name\":\"mint\",\"span\":\"{\\\"lo\\\":101,\\\"hi\\\":105}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 111
hi: 113
id: 13
- mode: None
type_:
Integer: U8
span:
lo: 111
hi: 113
id: 13
output_type:
Integer: U8
block:
@ -91,14 +89,13 @@ outputs:
identifier: "{\"id\":\"18\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":145,\\\"hi\\\":149}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 155
hi: 157
id: 19
- mode: None
type_:
Integer: U8
span:
lo: 155
hi: 157
id: 19
output_type:
Integer: U8
block:
@ -123,14 +120,13 @@ outputs:
identifier: "{\"id\":\"24\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":192,\\\"hi\\\":195}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 201
hi: 203
id: 25
- mode: None
type_:
Integer: U8
span:
lo: 201
hi: 203
id: 25
output_type:
Integer: U8
block:

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

@ -16,24 +16,22 @@ outputs:
variant: Standard
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":50,\\\"hi\\\":51}\"}"
mode: Constant
type_:
Integer: U32
span:
lo: 50
hi: 51
id: 4
- identifier: "{\"id\":\"3\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":50,\\\"hi\\\":51}\"}"
mode: Constant
type_:
Integer: U32
span:
lo: 50
hi: 51
id: 4
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 61
hi: 63
id: 5
- mode: None
type_:
Integer: U8
span:
lo: 61
hi: 63
id: 5
output_type:
Integer: U8
block:
@ -114,22 +112,20 @@ outputs:
variant: Standard
identifier: "{\"id\":\"19\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":145,\\\"hi\\\":149}\"}"
input:
- Internal:
identifier: "{\"id\":\"20\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":150,\\\"hi\\\":151}\"}"
mode: None
type_: Boolean
span:
lo: 150
hi: 151
id: 21
- identifier: "{\"id\":\"20\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":150,\\\"hi\\\":151}\"}"
mode: None
type_: Boolean
span:
lo: 150
hi: 151
id: 21
output:
- Internal:
mode: None
type_: Boolean
span:
lo: 162
hi: 166
id: 22
- mode: None
type_: Boolean
span:
lo: 162
hi: 166
id: 22
output_type: Boolean
block:
statements:

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

@ -16,33 +16,30 @@ outputs:
variant: Standard
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":58,\\\"hi\\\":59}\"}"
mode: Constant
type_:
Integer: I32
span:
lo: 58
hi: 59
id: 6
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":58,\\\"hi\\\":59}\"}"
mode: Constant
type_:
Integer: I32
span:
lo: 58
hi: 59
id: 6
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 69
hi: 71
id: 7
- mode: None
type_:
Integer: U8
span:
lo: 69
hi: 71
id: 7
output_type:
Integer: U8
block:
@ -76,33 +73,30 @@ outputs:
variant: Standard
identifier: "{\"id\":\"12\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":118,\\\"hi\\\":119}\"}"
input:
- Internal:
identifier: "{\"id\":\"13\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":129,\\\"hi\\\":130}\"}"
mode: Constant
type_:
Integer: U32
span:
lo: 129
hi: 130
id: 14
- Internal:
identifier: "{\"id\":\"15\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":137,\\\"hi\\\":138}\"}"
mode: None
type_:
Integer: I32
span:
lo: 137
hi: 138
id: 16
- identifier: "{\"id\":\"13\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":129,\\\"hi\\\":130}\"}"
mode: Constant
type_:
Integer: U32
span:
lo: 129
hi: 130
id: 14
- identifier: "{\"id\":\"15\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":137,\\\"hi\\\":138}\"}"
mode: None
type_:
Integer: I32
span:
lo: 137
hi: 138
id: 16
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 148
hi: 150
id: 17
- mode: None
type_:
Integer: U8
span:
lo: 148
hi: 150
id: 17
output_type:
Integer: U8
block:

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

@ -16,24 +16,22 @@ outputs:
variant: Standard
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":50,\\\"hi\\\":51}\"}"
mode: Constant
type_:
Integer: U8
span:
lo: 50
hi: 51
id: 4
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":50,\\\"hi\\\":51}\"}"
mode: Constant
type_:
Integer: U8
span:
lo: 50
hi: 51
id: 4
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 60
hi: 62
id: 5
- mode: None
type_:
Integer: U8
span:
lo: 60
hi: 62
id: 5
output_type:
Integer: U8
block:

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

@ -22,14 +22,13 @@ outputs:
identifier: "{\"id\":\"4\",\"name\":\"test\",\"span\":\"{\\\"lo\\\":134,\\\"hi\\\":138}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 144
hi: 146
id: 5
- mode: None
type_:
Integer: U8
span:
lo: 144
hi: 146
id: 5
output_type:
Integer: U8
block:

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

@ -17,14 +17,13 @@ outputs:
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 46
hi: 48
id: 3
- mode: None
type_:
Integer: U8
span:
lo: 46
hi: 48
id: 3
output_type:
Integer: U8
block:

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

@ -17,14 +17,13 @@ outputs:
identifier: "{\"id\":\"2\",\"name\":\"inf\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":42}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 48
hi: 50
id: 3
- mode: None
type_:
Integer: U8
span:
lo: 48
hi: 50
id: 3
output_type:
Integer: U8
block:
@ -58,22 +57,20 @@ outputs:
variant: Standard
identifier: "{\"id\":\"9\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":92,\\\"hi\\\":96}\"}"
input:
- Internal:
identifier: "{\"id\":\"10\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":97,\\\"hi\\\":98}\"}"
mode: None
type_: Boolean
span:
lo: 97
hi: 98
id: 11
- identifier: "{\"id\":\"10\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":97,\\\"hi\\\":98}\"}"
mode: None
type_: Boolean
span:
lo: 97
hi: 98
id: 11
output:
- Internal:
mode: None
type_: Boolean
span:
lo: 109
hi: 113
id: 12
- mode: None
type_: Boolean
span:
lo: 109
hi: 113
id: 12
output_type: Boolean
block:
statements:

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

@ -16,33 +16,30 @@ outputs:
variant: Inline
identifier: "{\"id\":\"2\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":33,\\\"hi\\\":36}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":37,\\\"hi\\\":38}\"}"
mode: None
type_:
Integer: U32
span:
lo: 37
hi: 38
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":45,\\\"hi\\\":46}\"}"
mode: None
type_:
Integer: I32
span:
lo: 45
hi: 46
id: 6
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":37,\\\"hi\\\":38}\"}"
mode: None
type_:
Integer: U32
span:
lo: 37
hi: 38
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":45,\\\"hi\\\":46}\"}"
mode: None
type_:
Integer: I32
span:
lo: 45
hi: 46
id: 6
output:
- Internal:
mode: None
type_:
Integer: U32
span:
lo: 56
hi: 59
id: 7
- mode: None
type_:
Integer: U32
span:
lo: 56
hi: 59
id: 7
output_type:
Integer: U32
block:

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

@ -16,33 +16,30 @@ outputs:
variant: Standard
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":50}\"}"
mode: None
type_:
Integer: I32
span:
lo: 49
hi: 50
id: 6
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":50}\"}"
mode: None
type_:
Integer: I32
span:
lo: 49
hi: 50
id: 6
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 60
hi: 62
id: 7
- mode: None
type_:
Integer: U8
span:
lo: 60
hi: 62
id: 7
output_type:
Integer: U8
block:

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

@ -16,33 +16,30 @@ outputs:
variant: Standard
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":50}\"}"
mode: None
type_:
Integer: I32
span:
lo: 49
hi: 50
id: 6
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":50}\"}"
mode: None
type_:
Integer: I32
span:
lo: 49
hi: 50
id: 6
output:
- Internal:
mode: None
type_:
Integer: U32
span:
lo: 60
hi: 63
id: 7
- mode: None
type_:
Integer: U32
span:
lo: 60
hi: 63
id: 7
output_type:
Integer: U32
block:

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

@ -16,33 +16,30 @@ outputs:
variant: Standard
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":56,\\\"hi\\\":57}\"}"
mode: Public
type_:
Integer: I32
span:
lo: 56
hi: 57
id: 6
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":56,\\\"hi\\\":57}\"}"
mode: Public
type_:
Integer: I32
span:
lo: 56
hi: 57
id: 6
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 67
hi: 69
id: 7
- mode: None
type_:
Integer: U8
span:
lo: 67
hi: 69
id: 7
output_type:
Integer: U8
block:
@ -76,33 +73,30 @@ outputs:
variant: Standard
identifier: "{\"id\":\"12\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":116,\\\"hi\\\":117}\"}"
input:
- Internal:
identifier: "{\"id\":\"13\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":125,\\\"hi\\\":126}\"}"
mode: Public
type_:
Integer: U32
span:
lo: 125
hi: 126
id: 14
- Internal:
identifier: "{\"id\":\"15\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":133,\\\"hi\\\":134}\"}"
mode: None
type_:
Integer: I32
span:
lo: 133
hi: 134
id: 16
- identifier: "{\"id\":\"13\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":125,\\\"hi\\\":126}\"}"
mode: Public
type_:
Integer: U32
span:
lo: 125
hi: 126
id: 14
- identifier: "{\"id\":\"15\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":133,\\\"hi\\\":134}\"}"
mode: None
type_:
Integer: I32
span:
lo: 133
hi: 134
id: 16
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 144
hi: 146
id: 17
- mode: None
type_:
Integer: U8
span:
lo: 144
hi: 146
id: 17
output_type:
Integer: U8
block:

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

@ -17,14 +17,13 @@ outputs:
identifier: "{\"id\":\"2\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U32
span:
lo: 46
hi: 49
id: 3
- mode: None
type_:
Integer: U32
span:
lo: 46
hi: 49
id: 3
output_type:
Integer: U32
block:

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

@ -16,33 +16,30 @@ outputs:
variant: Transition
identifier: "{\"id\":\"2\",\"name\":\"foo\",\"span\":\"{\\\"lo\\\":37,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":50}\"}"
mode: None
type_:
Integer: I32
span:
lo: 49
hi: 50
id: 6
- identifier: "{\"id\":\"3\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_:
Integer: U32
span:
lo: 41
hi: 42
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"y\",\"span\":\"{\\\"lo\\\":49,\\\"hi\\\":50}\"}"
mode: None
type_:
Integer: I32
span:
lo: 49
hi: 50
id: 6
output:
- Internal:
mode: None
type_:
Integer: U32
span:
lo: 60
hi: 63
id: 7
- mode: None
type_:
Integer: U32
span:
lo: 60
hi: 63
id: 7
output_type:
Integer: U32
block:

4
tests/expectations/parser/program/mapping.out
View File

@ -24,11 +24,11 @@ outputs:
key_type:
Composite:
id: "{\"id\":\"5\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":87,\\\"hi\\\":90}\"}"
program: test
program: ~
value_type:
Composite:
id: "{\"id\":\"6\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":94,\\\"hi\\\":97}\"}"
program: test
program: ~
span:
lo: 74
hi: 98

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

@ -34,7 +34,7 @@ outputs:
lo: 103
hi: 113
id: 8
external: test
external: ~
is_record: false
span:
lo: 26

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

@ -17,11 +17,10 @@ outputs:
identifier: "{\"id\":\"2\",\"name\":\"main\",\"span\":\"{\\\"lo\\\":35,\\\"hi\\\":39}\"}"
input: []
output:
- Internal:
mode: None
type_:
Integer: U8
id: 3
- mode: None
type_:
Integer: U8
id: 3
output_type:
Integer: U8
block:

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

@ -2,5 +2,5 @@
namespace: ParseStatement
expectation: Fail
outputs:
- "Error [EPAR0370040]: Cannot create an external record. Records can only be created in the program that they are defined in.\n --> test:1:8\n |\n 1 | return credits.aleo/credits { owner: arg1, amount: arg2};\n | ^^^^^^^^^^^^^^^^^^^^"
- "Error [EPAR0370039]: Cannot create an external record. Records can only be created in the program that they are defined in.\n --> test:1:8\n |\n 1 | return credits.aleo/credits { owner: arg1, amount: arg2};\n | ^^^^^^^^^^^^^^^^^^^^"
- "Error [EPAR0370005]: expected = -- found '.'\n --> test:1:13\n |\n 1 | let d: board.leo/board = record board.leo/board { tile1: 1u8, tile2: 2u8};\n | ^"

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

@ -16,33 +16,30 @@ outputs:
variant: Transition
identifier: "{\"id\":\"2\",\"name\":\"baz\",\"span\":\"{\\\"lo\\\":37,\\\"hi\\\":40}\"}"
input:
- Internal:
identifier: "{\"id\":\"3\",\"name\":\"s\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_: Signature
span:
lo: 41
hi: 42
id: 4
- Internal:
identifier: "{\"id\":\"5\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":55,\\\"hi\\\":56}\"}"
mode: None
type_: Address
span:
lo: 55
hi: 56
id: 6
- Internal:
identifier: "{\"id\":\"7\",\"name\":\"v\",\"span\":\"{\\\"lo\\\":67,\\\"hi\\\":68}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"8\",\"name\":\"value\",\"span\":\"{\\\"lo\\\":70,\\\"hi\\\":75}\"}"
program: test
span:
lo: 67
hi: 68
id: 9
- identifier: "{\"id\":\"3\",\"name\":\"s\",\"span\":\"{\\\"lo\\\":41,\\\"hi\\\":42}\"}"
mode: None
type_: Signature
span:
lo: 41
hi: 42
id: 4
- identifier: "{\"id\":\"5\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":55,\\\"hi\\\":56}\"}"
mode: None
type_: Address
span:
lo: 55
hi: 56
id: 6
- identifier: "{\"id\":\"7\",\"name\":\"v\",\"span\":\"{\\\"lo\\\":67,\\\"hi\\\":68}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"8\",\"name\":\"value\",\"span\":\"{\\\"lo\\\":70,\\\"hi\\\":75}\"}"
program: ~
span:
lo: 67
hi: 68
id: 9
output: []
output_type: Unit
block:
@ -114,24 +111,22 @@ outputs:
variant: Transition
identifier: "{\"id\":\"31\",\"name\":\"bar\",\"span\":\"{\\\"lo\\\":214,\\\"hi\\\":217}\"}"
input:
- Internal:
identifier: "{\"id\":\"32\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":218,\\\"hi\\\":219}\"}"
mode: None
type_:
Integer: U8
span:
lo: 218
hi: 219
id: 33
- identifier: "{\"id\":\"32\",\"name\":\"x\",\"span\":\"{\\\"lo\\\":218,\\\"hi\\\":219}\"}"
mode: None
type_:
Integer: U8
span:
lo: 218
hi: 219
id: 33
output:
- Internal:
mode: None
type_:
Integer: U8
span:
lo: 228
hi: 230
id: 34
- mode: None
type_:
Integer: U8
span:
lo: 228
hi: 230
id: 34
output_type:
Integer: U8
block:
@ -186,33 +181,30 @@ outputs:
variant: Transition
identifier: "{\"id\":\"44\",\"name\":\"bax\",\"span\":\"{\\\"lo\\\":317,\\\"hi\\\":320}\"}"
input:
- Internal:
identifier: "{\"id\":\"45\",\"name\":\"s\",\"span\":\"{\\\"lo\\\":321,\\\"hi\\\":322}\"}"
mode: None
type_: Signature
span:
lo: 321
hi: 322
id: 46
- Internal:
identifier: "{\"id\":\"47\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":335,\\\"hi\\\":336}\"}"
mode: None
type_: Address
span:
lo: 335
hi: 336
id: 48
- Internal:
identifier: "{\"id\":\"49\",\"name\":\"v\",\"span\":\"{\\\"lo\\\":347,\\\"hi\\\":348}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"50\",\"name\":\"value\",\"span\":\"{\\\"lo\\\":350,\\\"hi\\\":355}\"}"
program: test
span:
lo: 347
hi: 348
id: 51
- identifier: "{\"id\":\"45\",\"name\":\"s\",\"span\":\"{\\\"lo\\\":321,\\\"hi\\\":322}\"}"
mode: None
type_: Signature
span:
lo: 321
hi: 322
id: 46
- identifier: "{\"id\":\"47\",\"name\":\"a\",\"span\":\"{\\\"lo\\\":335,\\\"hi\\\":336}\"}"
mode: None
type_: Address
span:
lo: 335
hi: 336
id: 48
- identifier: "{\"id\":\"49\",\"name\":\"v\",\"span\":\"{\\\"lo\\\":347,\\\"hi\\\":348}\"}"
mode: None
type_:
Composite:
id: "{\"id\":\"50\",\"name\":\"value\",\"span\":\"{\\\"lo\\\":350,\\\"hi\\\":355}\"}"
program: ~
span:
lo: 347
hi: 348
id: 51
output: []
output_type: Unit
block: