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

cleanup unused expecations

Browse Source
This commit is contained in:
Mazdak Farrokhzad 2022-06-21 17:23:30 +02:00
parent 7dbe55b38a
commit 01e4b292cf
17 changed files with 0 additions and 555 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/expectations/compiler/compiler/address/branch.leo.out
View File

@ -1,8 +0,0 @@
---
namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 00f5aba05e4efae5a125eb52f02f16400132085b8a34919d910aa40c6c405a22
initial_ast: f8a38cffff190682116d2e013e6d2f465eed208f31754a8e1912732971b24179
symbol_table: 7889ed5017f4f3951656b38265fa6339a29cddeca1be2aba54efc89f13ed7339

5
tests/expectations/compiler/compiler/integers/i128/pow_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `i128`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/integers/i16/pow_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `i16`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/integers/i32/pow_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `i32`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/integers/i64/pow_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `i64`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/integers/i8/pow_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `i8`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/integers/u128/pow.leo.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `u128`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/integers/u64/pow.leo.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372009]: Expected one type from `u8,u16,u32,`, but got `u64`\n --> compiler-test:4:17\n |\n 4 | return a ** b == c;\n | ^\n"

5
tests/expectations/compiler/compiler/statements/assign_fail.leo.out
View File

@ -1,5 +0,0 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [EPAR0370025]: Could not lex the following content: `🦀`.\n"

81
tests/expectations/parser/parser/expression/binary/exp.out
View File

@ -1,81 +0,0 @@
---
namespace: ParseExpression
expectation: Pass
outputs:
- Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "1"
- span:
lo: 7
hi: 10
op: Pow
span:
lo: 0
hi: 10
- Binary:
left:
Literal:
Integer:
- U8
- "2"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "3"
- span:
lo: 5
hi: 8
op: Pow
span:
lo: 0
hi: 8
- Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Binary:
left:
Literal:
Integer:
- U8
- "2"
- span:
lo: 7
hi: 10
right:
Literal:
Integer:
- U8
- "3"
- span:
lo: 14
hi: 17
op: Pow
span:
lo: 7
hi: 17
op: Pow
span:
lo: 0
hi: 17

95
tests/expectations/parser/parser/expression/binary/gte.out
View File

@ -1,95 +0,0 @@
---
namespace: ParseExpression
expectation: Pass
outputs:
- Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "1"
- span:
lo: 7
hi: 10
op: Ge
span:
lo: 0
hi: 10
- Binary:
left:
Literal:
Integer:
- U8
- "2"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "3"
- span:
lo: 7
hi: 10
op: Ge
span:
lo: 0
hi: 10
- Binary:
left:
Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "2"
- span:
lo: 6
hi: 9
op: Add
span:
lo: 0
hi: 9
right:
Binary:
left:
Literal:
Integer:
- U8
- "3"
- span:
lo: 13
hi: 16
right:
Literal:
Integer:
- U8
- "4"
- span:
lo: 19
hi: 22
op: Add
span:
lo: 13
hi: 22
op: Ge
span:
lo: 0
hi: 22

7
tests/expectations/parser/parser/expression/binary/gte_fail.out
View File

@ -1,7 +0,0 @@
---
namespace: ParseExpression
expectation: Fail
outputs:
- "did not consume all input: '>=' @ 1:12-14\n'3' @ 1:15-16\n'u8' @ 1:16-18\n"
- "did not consume all input: '>=' @ 1:12-14\n'3' @ 1:15-16\n'u8' @ 1:16-18\n"
- "did not consume all input: '>=' @ 1:24-26\n'5' @ 1:27-28\n'u8' @ 1:28-30\n'+' @ 1:31-32\n'6' @ 1:33-34\n'u8' @ 1:34-36\n"

95
tests/expectations/parser/parser/expression/binary/lte.out
View File

@ -1,95 +0,0 @@
---
namespace: ParseExpression
expectation: Pass
outputs:
- Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "1"
- span:
lo: 7
hi: 10
op: Le
span:
lo: 0
hi: 10
- Binary:
left:
Literal:
Integer:
- U8
- "2"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "3"
- span:
lo: 7
hi: 10
op: Le
span:
lo: 0
hi: 10
- Binary:
left:
Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "2"
- span:
lo: 6
hi: 9
op: Add
span:
lo: 0
hi: 9
right:
Binary:
left:
Literal:
Integer:
- U8
- "3"
- span:
lo: 13
hi: 16
right:
Literal:
Integer:
- U8
- "4"
- span:
lo: 19
hi: 22
op: Add
span:
lo: 13
hi: 22
op: Le
span:
lo: 0
hi: 22

7
tests/expectations/parser/parser/expression/binary/lte_fail.out
View File

@ -1,7 +0,0 @@
---
namespace: ParseExpression
expectation: Fail
outputs:
- "did not consume all input: '<=' @ 1:12-14\n'3' @ 1:15-16\n'u8' @ 1:16-18\n"
- "did not consume all input: '<=' @ 1:12-14\n'3' @ 1:15-16\n'u8' @ 1:16-18\n"
- "did not consume all input: '<=' @ 1:24-26\n'5' @ 1:27-28\n'u8' @ 1:28-30\n'+' @ 1:31-32\n'6' @ 1:33-34\n'u8' @ 1:34-36\n"

200
tests/expectations/parser/parser/expression/binary/ne.out
View File

@ -1,200 +0,0 @@
---
namespace: ParseExpression
expectation: Pass
outputs:
- Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "1"
- span:
lo: 7
hi: 10
op: Neq
span:
lo: 0
hi: 10
- Binary:
left:
Literal:
Integer:
- U8
- "2"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "3"
- span:
lo: 5
hi: 8
op: Neq
span:
lo: 0
hi: 8
- Binary:
left:
Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "2"
- span:
lo: 6
hi: 9
op: Lt
span:
lo: 0
hi: 9
right:
Binary:
left:
Literal:
Integer:
- U8
- "3"
- span:
lo: 13
hi: 16
right:
Literal:
Integer:
- U8
- "4"
- span:
lo: 19
hi: 22
op: Lt
span:
lo: 13
hi: 22
op: Neq
span:
lo: 0
hi: 22
- Binary:
left:
Binary:
left:
Binary:
left:
Literal:
Integer:
- U8
- "1"
- span:
lo: 0
hi: 3
right:
Literal:
Integer:
- U8
- "2"
- span:
lo: 6
hi: 9
op: Lt
span:
lo: 0
hi: 9
right:
Binary:
left:
Literal:
Integer:
- U8
- "3"
- span:
lo: 13
hi: 16
right:
Literal:
Integer:
- U8
- "4"
- span:
lo: 19
hi: 22
op: Lt
span:
lo: 13
hi: 22
op: Neq
span:
lo: 0
hi: 22
right:
Binary:
left:
Binary:
left:
Literal:
Integer:
- U8
- "3"
- span:
lo: 26
hi: 29
right:
Literal:
Integer:
- U8
- "4"
- span:
lo: 32
hi: 35
op: Lt
span:
lo: 26
hi: 35
right:
Binary:
left:
Literal:
Integer:
- U8
- "5"
- span:
lo: 39
hi: 42
right:
Literal:
Integer:
- U8
- "6"
- span:
lo: 45
hi: 48
op: Lt
span:
lo: 39
hi: 48
op: Neq
span:
lo: 26
hi: 48
op: Or
span:
lo: 0
hi: 48

5
tests/expectations/parser/parser/expression/binary/ne_fail.out
View File

@ -1,5 +0,0 @@
---
namespace: ParseExpression
expectation: Fail
outputs:
- "Error [EPAR0370027]: Could not parse the implicit value: 1.\n --> test:1:1\n |\n 1 | 1 != 2 != 3\n | ^"

17
tests/expectations/parser/parser/statement/assign_fail.out
View File

@ -1,17 +0,0 @@
---
namespace: ParseStatement
expectation: Fail
outputs:
- "Error [EPAR0370005]: expected ; -- got ':'\n --> test:1:2\n |\n 1 | x::y = y;\n | ^"
- "Error [EPAR0370028]: Could not parse the implicit value: 5.\n --> test:1:1\n |\n 1 | 5 = y;\n | ^"
- "Error [EPAR0370011]: invalid assignment target\n --> test:1:1\n |\n 1 | x + x = y;\n | ^^^^^"
- "Error [EPAR0370011]: invalid assignment target\n --> test:1:1\n |\n 1 | -x = y;\n | ^^"
- "Error [EPAR0370011]: invalid assignment target\n --> test:1:1\n |\n 1 | !x = y;\n | ^^"
- "Error [EPAR0370011]: invalid assignment target\n --> test:1:1\n |\n 1 | a? x : x = y;\n | ^^^^^^^^"
- "Error [EPAR0370005]: expected ; -- got 'as'\n --> test:1:3\n |\n 1 | x as u32 = y;\n | ^^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', got '['\n --> test:1:1\n |\n 1 | [x, x, x] = y;\n | ^"
- "Error [EPAR0370009]: unexpected string: expected 'expression', got '['\n --> test:1:1\n |\n 1 | [x; 3] = y;\n | ^"
- "Error [EPAR0370005]: expected A valid expression. -- got 'A tuple expression.'\n --> test:1:1\n |\n 1 | (x, x, x) = y;\n | ^^^^^^^^^"
- "Error [EPAR0370005]: expected ; -- got '{'\n --> test:1:3\n |\n 1 | x {x: y, y: z} = y;\n | ^"
- "Error [EPAR0370011]: invalid assignment target\n --> test:1:1\n |\n 1 | x() = y;\n | ^^^"
- "Error [EPAR0370026]: Could not lex the following content: `🦀`.\n"