ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-19 01:37:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

regen tests

Browse Source
This commit is contained in:
collin 2022-07-09 16:19:48 -07:00
parent 1bcb9accec
commit 01a1953021
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/expectations/compiler/compiler/tuple/return_statement_fail.out
View File

@ -1,7 +1,5 @@
---
namespace: Compile
expectation: Pass
expectation: Fail
outputs:
- output:
- initial_input_ast: 6607a8eab25d6001b58441084978cbf2d37295c9d77e3730c1dd74d2fa1e0a94
initial_ast: e1960f775049d0d2b246d0da716aa5b8c261b518cab913d287f26fe2c1e0515f
- "Error [ETYC0372003]: Expected type `u64` but type `bool` was found\n --> compiler-test:6:21\n |\n 6 | return (t.0, t.1); // The second element should be type u64 as in the function declaration.\n | ^\n"

2
tests/expectations/compiler/compiler/tuple/type_fail.out
View File

@ -2,4 +2,4 @@
namespace: Compile
expectation: Fail
outputs:
- "Error [ETYC0372003]: Expected type `u64` but type `bool` was found\n --> compiler-test:3:24\n |\n 3 | function main(a: bool, b: bool) -> (bool, bool) {\n | ^\n"
- "Error [ETYC0372003]: Expected type `u64` but type `bool` was found\n --> compiler-test:3:24\n |\n 3 | function main(a: bool, b: bool) -> (bool, bool) {\n | ^\nError [ETYC0372003]: Expected type `bool` but type `u64` was found\n --> compiler-test:6:21\n |\n 6 | return (t.0, t.1);\n | ^\n"