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

Regen test expectations

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2022-08-23 19:40:38 -07:00
parent 78604f61da
commit 18482d7b18
3 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/expectations/compiler/statements/compare_diff_types_fail.out
View File

@ -2,4 +2,4 @@
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:4:19\n |\n 4 | let b: bool = a == 1u8;\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:5:19\n |\n 5 | let c: bool = a != 1u8;\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:6:19\n |\n 6 | let d: bool = a > 1u8;\n | ^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:7:19\n |\n 7 | let e: bool = a < 1u8;\n | ^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:8:19\n |\n 8 | let f: bool = a >= 1u8;\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:9:19\n |\n 9 | let g: bool = a <= 1u8;\n | ^^^^^^^^\n"
- "Error [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:4:19\n |\n 4 | let b: bool = a == 1u8;\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:5:19\n |\n 5 | let c: bool = a != 1u8;\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:6:19\n |\n 6 | let d: bool = a > 1u8;\n | ^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:7:19\n |\n 7 | let e: bool = a < 1u8;\n | ^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:8:19\n |\n 8 | let f: bool = a >= 1u8;\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `u8` but type `i8` was found\n --> compiler-test:9:19\n |\n 9 | let g: bool = a <= 1u8;\n | ^^^^^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u8`\n --> compiler-test:10:22\n |\n 10 | let h: u32 = a * 1u8;\n | ^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n --> compiler-test:10:18\n |\n 10 | let h: u32 = a * 1u8;\n | ^^^^^^^\n"

2
tests/expectations/compiler/statements/non_existant_vars_mul_fail.out
View File

@ -2,4 +2,4 @@
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372005]: Unknown variable `x`\n --> compiler-test:4:14\n |\n 4 | \tlet b: u8 = x*z;\n | ^\nError [ETYC0372005]: Unknown variable `z`\n --> compiler-test:4:16\n |\n 4 | \tlet b: u8 = x*z;\n | ^\n"
- "Error [ETYC0372005]: Unknown variable `x`\n --> compiler-test:4:14\n |\n 4 | \tlet b: u8 = x*z;\n | ^\nError [ETYC0372005]: Unknown variable `z`\n --> compiler-test:4:16\n |\n 4 | \tlet b: u8 = x*z;\n | ^\nError [ETYC0372004]: Could not determine the type of `x`\n --> compiler-test:4:14\n |\n 4 | \tlet b: u8 = x*z;\n | ^\nError [ETYC0372004]: Could not determine the type of `z`\n --> compiler-test:4:16\n |\n 4 | \tlet b: u8 = x*z;\n | ^\n"

5
tests/expectations/compiler/statements/typecheck_statements_fail.out Normal file
View File

@ -0,0 +1,5 @@
---
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372007]: Expected one type from `i16`, but got `i32`\n --> compiler-test:5:29\n |\n 5 | let c1 : u32 = 123i16 * 123i32;\n | ^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `u32`\n --> compiler-test:5:20\n |\n 5 | let c1 : u32 = 123i16 * 123i32;\n | ^^^^^^^^^^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `string`\n --> compiler-test:6:20\n |\n 6 | let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n | ^^^^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `string`\n --> compiler-test:6:40\n |\n 6 | let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n | ^^^^^\nError [ETYC0372007]: Expected one type from `i16`, but got `u32`\n --> compiler-test:6:20\n |\n 6 | let c2 : u32 = \"123i32\" * 123i16 * \"sss\";\n | ^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372003]: Expected type `field, group, integer, or scalar` but type `string` was found\n --> compiler-test:7:20\n |\n 7 | let c3 : u32 = \"123i32\" * \"sss\";\n | ^^^^^^^^\nError [ETYC0372003]: Expected type `field, group, integer, or scalar` but type `string` was found\n --> compiler-test:7:31\n |\n 7 | let c3 : u32 = \"123i32\" * \"sss\";\n | ^^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i16`\n --> compiler-test:8:26\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i32`\n --> compiler-test:8:33\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `i64`\n --> compiler-test:8:40\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u8`\n --> compiler-test:8:47\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u16`\n --> compiler-test:8:53\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n --> compiler-test:8:60\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u64`\n --> compiler-test:8:67\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^\nError [ETYC0372007]: Expected one type from `i8`, but got `u32`\n --> compiler-test:8:20\n |\n 8 | let c4 : u32 = 1i8 * 2i16 * 3i32 * 4i64 * 5u8 * 6u16 * 7u32 * 9u64;\n | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n"