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

Fix compile expectations

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2024-03-28 17:51:49 -07:00 committed by evan-schott
parent 22d1c402d4
commit a0b28747da
19 changed files with 246 additions and 190 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/compiler/tests/compile.rs
View File

@ -113,12 +113,10 @@ fn run_test(test: Test, handler: &Handler, buf: &BufferEmitter) -> Result<Value,
// Compile each program string separately.
for program_string in program_strings {
println!("ZZZZZZZZZZZZZZZZZZZZZZZZZZZZZZ\n\n");
println!("{}", program_string.to_string());
// Parse the program name from the program string.
let re = Regex::new(r"program\s+([^\s.]+)\.aleo").unwrap();
let program_name = re.captures(program_string).unwrap().get(1).unwrap().as_str();
// Parse the program.
let mut parsed = handler.extend_if_error(parse_program(
program_name.to_string(),
@ -132,7 +130,7 @@ fn run_test(test: Test, handler: &Handler, buf: &BufferEmitter) -> Result<Value,
// Compile the program to bytecode.
let program_name = parsed.program_name.to_string();
let bytecode = handler.extend_if_error(compile_and_process(&mut parsed))?;
dbg!(bytecode.clone());
// Parse the bytecode as an Aleo program.

4
compiler/parser/src/parser/file.rs
View File

@ -40,8 +40,8 @@ impl ParserContext<'_> {
println!("here!!!!\n");
dbg!(self.prev_token.token.clone());
dbg!(self.token.token.clone());
return Err(ParserError::only_one_program_scope_is_allowed(self.token.span).into())
},
return Err(ParserError::only_one_program_scope_is_allowed(self.token.span).into());
}
false => {
parsed_program_scope = true;
let program_scope = self.parse_program_scope()?;

26
tests/expectations/compiler/array/array_in_mapping.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 500c040c7c93a9b43123f9b77a4c805ad791563acccaa8fe77f2077d242a1a14
type_checked_symbol_table: 2194ee075b5de9a883208b611ee50d05dd98a0b70cfb1c3b7cd14c1eb2f5c4b9
unrolled_symbol_table: 2194ee075b5de9a883208b611ee50d05dd98a0b70cfb1c3b7cd14c1eb2f5c4b9
initial_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
unrolled_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
ssa_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
flattened_ast: e2468a2b162270486b4c801ca8d53737250d16e11b1907aa0181ac2bdb710638
destructured_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
inlined_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
dce_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
bytecode: bbabb76319d2c69ed28a19090796ad7f974be74a1ef138d0cc58507cc4787632
warnings: ""
- - compile:
- initial_symbol_table: 500c040c7c93a9b43123f9b77a4c805ad791563acccaa8fe77f2077d242a1a14
type_checked_symbol_table: 2194ee075b5de9a883208b611ee50d05dd98a0b70cfb1c3b7cd14c1eb2f5c4b9
unrolled_symbol_table: 2194ee075b5de9a883208b611ee50d05dd98a0b70cfb1c3b7cd14c1eb2f5c4b9
initial_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
unrolled_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
ssa_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
flattened_ast: e2468a2b162270486b4c801ca8d53737250d16e11b1907aa0181ac2bdb710638
destructured_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
inlined_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
dce_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
bytecode: bbabb76319d2c69ed28a19090796ad7f974be74a1ef138d0cc58507cc4787632
errors: ""
warnings: ""

26
tests/expectations/compiler/constants/constant_finalize.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 8bdb0f229581daa96817e49fd8d44ccdee0a55ce261ffab7fdc2240f38c55699
type_checked_symbol_table: cb90915ed8f68c317998968f797090ca6e6636de1af45a37352759be994bc6fb
unrolled_symbol_table: 0414309645ab69b22ea14af6d95eedd3efe891575884267b1bd4e8842288eb8b
initial_ast: 7605e29ba9dd5e1fab7cdfb8aa89d2775203f5273b84735a3440c545ebffce03
unrolled_ast: 517bd11485cc6cabac08d36b8d0bb4e6ab7eed9182b10cd04ef6a0f277e0465b
ssa_ast: ab7055ad83cbd497b5561391dee9a179bd4d7b577de91ed9dc72582cd9b72c91
flattened_ast: 703074571d3f3479b96465ca1dca76b05b1e1d34d4783d06dfc04bd1dea0dfe2
destructured_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
inlined_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
dce_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
bytecode: 34335e40c3ca26e00044d055cc0cb8d262fce1ac49a4940b36b1136e0772d305
warnings: ""
- - compile:
- initial_symbol_table: 8bdb0f229581daa96817e49fd8d44ccdee0a55ce261ffab7fdc2240f38c55699
type_checked_symbol_table: cb90915ed8f68c317998968f797090ca6e6636de1af45a37352759be994bc6fb
unrolled_symbol_table: 0414309645ab69b22ea14af6d95eedd3efe891575884267b1bd4e8842288eb8b
initial_ast: 7605e29ba9dd5e1fab7cdfb8aa89d2775203f5273b84735a3440c545ebffce03
unrolled_ast: 517bd11485cc6cabac08d36b8d0bb4e6ab7eed9182b10cd04ef6a0f277e0465b
ssa_ast: ab7055ad83cbd497b5561391dee9a179bd4d7b577de91ed9dc72582cd9b72c91
flattened_ast: 703074571d3f3479b96465ca1dca76b05b1e1d34d4783d06dfc04bd1dea0dfe2
destructured_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
inlined_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
dce_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
bytecode: 34335e40c3ca26e00044d055cc0cb8d262fce1ac49a4940b36b1136e0772d305
errors: ""
warnings: ""

26
tests/expectations/compiler/examples/basic_bank.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: eb6c840a7613c7a4d9febb66e6b1a1800187abdeae74d98a07fa4216c690801f
type_checked_symbol_table: 0a617d6dc9c55f97f74cc9d461ddad00b36b816f369b37be88a37c35a21dbf62
unrolled_symbol_table: edb4f2fa0ec3aca0fdabe225115814c6eefa7be0cf91a213e607d406a39be4ec
initial_ast: 88083917f140198ec18d96f130e1e4ceef5d06eb3a698e6fd2b05dfb8a718906
unrolled_ast: f815f3e95b3b9aa1412d2c3b1c1e3fa3b6b1a1295e7cbe73d0f206d1a08d669e
ssa_ast: 9ae4f53dea4d8851854ed682f1e23f1e21f7d6589d7b407c9aba93cfff3b277b
flattened_ast: f6d660d53e9669e68c2d5c12d24bc49fffd1056283f7c291de92065de74d1a8c
destructured_ast: fce75b2c4c8860ee956e6174f579af36d78394d08ff463201d00e2da7cdd0a94
inlined_ast: 67a8c073a70ec5627e9920d6fe27ff411986abe2f50b4a011e171928e10f87e6
dce_ast: 67a8c073a70ec5627e9920d6fe27ff411986abe2f50b4a011e171928e10f87e6
bytecode: 799c84f9a28bcdd1cb72269b56baae0905a136fc2d041745fb7ae52c9958b24e
warnings: ""
- - compile:
- initial_symbol_table: eb6c840a7613c7a4d9febb66e6b1a1800187abdeae74d98a07fa4216c690801f
type_checked_symbol_table: 0a617d6dc9c55f97f74cc9d461ddad00b36b816f369b37be88a37c35a21dbf62
unrolled_symbol_table: edb4f2fa0ec3aca0fdabe225115814c6eefa7be0cf91a213e607d406a39be4ec
initial_ast: 88083917f140198ec18d96f130e1e4ceef5d06eb3a698e6fd2b05dfb8a718906
unrolled_ast: f815f3e95b3b9aa1412d2c3b1c1e3fa3b6b1a1295e7cbe73d0f206d1a08d669e
ssa_ast: 9ae4f53dea4d8851854ed682f1e23f1e21f7d6589d7b407c9aba93cfff3b277b
flattened_ast: f6d660d53e9669e68c2d5c12d24bc49fffd1056283f7c291de92065de74d1a8c
destructured_ast: fce75b2c4c8860ee956e6174f579af36d78394d08ff463201d00e2da7cdd0a94
inlined_ast: 67a8c073a70ec5627e9920d6fe27ff411986abe2f50b4a011e171928e10f87e6
dce_ast: 67a8c073a70ec5627e9920d6fe27ff411986abe2f50b4a011e171928e10f87e6
bytecode: 799c84f9a28bcdd1cb72269b56baae0905a136fc2d041745fb7ae52c9958b24e
errors: ""
warnings: ""

26
tests/expectations/compiler/examples/lottery.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 3ab1aeab0596ee7c4496d7222977da942ab9555685138d4289799221f16a3d19
type_checked_symbol_table: f3b78a355c42b87f6215bc53c8e9b4a8b09ce6a54b09e2c8fb1e599107639efe
unrolled_symbol_table: f3b78a355c42b87f6215bc53c8e9b4a8b09ce6a54b09e2c8fb1e599107639efe
initial_ast: 30768e06975a921e4a290a4540e70a65a9727ba9211d9e7b20f5eb18e8759bc7
unrolled_ast: 30768e06975a921e4a290a4540e70a65a9727ba9211d9e7b20f5eb18e8759bc7
ssa_ast: b00c1589c8623a22e0598d2301f0b0959276af2816b8b5fb06b0e0aa45d50a64
flattened_ast: 1cea6ecdb76f314c37b3f5012fcdfd433d38d1feb45ee1ea69ebd733c49a38d9
destructured_ast: 5f891559002de649d5c1b7cfc1e29973bb42f340396ca11c55e473f15b50e6c5
inlined_ast: 5f891559002de649d5c1b7cfc1e29973bb42f340396ca11c55e473f15b50e6c5
dce_ast: 5f891559002de649d5c1b7cfc1e29973bb42f340396ca11c55e473f15b50e6c5
bytecode: ec9d10d78356538cf9f94bc46c20c33001a05100906259e217eeea2cfd0c4a66
warnings: ""
- - compile:
- initial_symbol_table: 3ab1aeab0596ee7c4496d7222977da942ab9555685138d4289799221f16a3d19
type_checked_symbol_table: f3b78a355c42b87f6215bc53c8e9b4a8b09ce6a54b09e2c8fb1e599107639efe
unrolled_symbol_table: f3b78a355c42b87f6215bc53c8e9b4a8b09ce6a54b09e2c8fb1e599107639efe
initial_ast: 30768e06975a921e4a290a4540e70a65a9727ba9211d9e7b20f5eb18e8759bc7
unrolled_ast: 30768e06975a921e4a290a4540e70a65a9727ba9211d9e7b20f5eb18e8759bc7
ssa_ast: b00c1589c8623a22e0598d2301f0b0959276af2816b8b5fb06b0e0aa45d50a64
flattened_ast: 1cea6ecdb76f314c37b3f5012fcdfd433d38d1feb45ee1ea69ebd733c49a38d9
destructured_ast: 5f891559002de649d5c1b7cfc1e29973bb42f340396ca11c55e473f15b50e6c5
inlined_ast: 5f891559002de649d5c1b7cfc1e29973bb42f340396ca11c55e473f15b50e6c5
dce_ast: 5f891559002de649d5c1b7cfc1e29973bb42f340396ca11c55e473f15b50e6c5
bytecode: ec9d10d78356538cf9f94bc46c20c33001a05100906259e217eeea2cfd0c4a66
errors: ""
warnings: ""

26
tests/expectations/compiler/examples/token.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 1dd787c948035f66cc4848941fcab1d41372bd4aeb564a6f679d2103d5689bb2
type_checked_symbol_table: bc1aa75ed853135a0aed49ce04a90d5535724f914cd8c7c449d5d4a1ba33efd9
unrolled_symbol_table: bc1aa75ed853135a0aed49ce04a90d5535724f914cd8c7c449d5d4a1ba33efd9
initial_ast: be5e96cafbfd5d35ef58cfbd4e407060deaaa7c70735320c4705311c1566e664
unrolled_ast: be5e96cafbfd5d35ef58cfbd4e407060deaaa7c70735320c4705311c1566e664
ssa_ast: 1a5c3da792943be7e98e447e1b97a09d637ef711784f577497ddf47572255fad
flattened_ast: 595d23acd29d0f99777fb3de3f9b978ccb204b3a59cc0a5736599cadb4242541
destructured_ast: 73483ed341fbaa9dd6be12f1a7b8adb3b3ea41b5ee7ee49c42299a3e947d389d
inlined_ast: 73483ed341fbaa9dd6be12f1a7b8adb3b3ea41b5ee7ee49c42299a3e947d389d
dce_ast: 73483ed341fbaa9dd6be12f1a7b8adb3b3ea41b5ee7ee49c42299a3e947d389d
bytecode: 379643d6f93f6040c0bb64ea96345269a23d6fb23fa3eae46ceb8e9ea9c73f9a
warnings: ""
- - compile:
- initial_symbol_table: 1dd787c948035f66cc4848941fcab1d41372bd4aeb564a6f679d2103d5689bb2
type_checked_symbol_table: bc1aa75ed853135a0aed49ce04a90d5535724f914cd8c7c449d5d4a1ba33efd9
unrolled_symbol_table: bc1aa75ed853135a0aed49ce04a90d5535724f914cd8c7c449d5d4a1ba33efd9
initial_ast: be5e96cafbfd5d35ef58cfbd4e407060deaaa7c70735320c4705311c1566e664
unrolled_ast: be5e96cafbfd5d35ef58cfbd4e407060deaaa7c70735320c4705311c1566e664
ssa_ast: 1a5c3da792943be7e98e447e1b97a09d637ef711784f577497ddf47572255fad
flattened_ast: 595d23acd29d0f99777fb3de3f9b978ccb204b3a59cc0a5736599cadb4242541
destructured_ast: 73483ed341fbaa9dd6be12f1a7b8adb3b3ea41b5ee7ee49c42299a3e947d389d
inlined_ast: 73483ed341fbaa9dd6be12f1a7b8adb3b3ea41b5ee7ee49c42299a3e947d389d
dce_ast: 73483ed341fbaa9dd6be12f1a7b8adb3b3ea41b5ee7ee49c42299a3e947d389d
bytecode: 379643d6f93f6040c0bb64ea96345269a23d6fb23fa3eae46ceb8e9ea9c73f9a
errors: ""
warnings: ""

26
tests/expectations/compiler/examples/vote.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: b43f30cad53b635e2a38c6e3bab51d3903cfc765a9daa94c497308ca6410a2e8
type_checked_symbol_table: e2966afa1fcbcd12a21e83ed2dd65703ca4c2bc5290e3aa34ea0b03c7bfcaa1d
unrolled_symbol_table: e2966afa1fcbcd12a21e83ed2dd65703ca4c2bc5290e3aa34ea0b03c7bfcaa1d
initial_ast: e3baf7644c011644e3c9e51e20dfa1c7242e86b93417f1083a992124f3b492d1
unrolled_ast: aba2f62b495fb53afe02ab4d72b654c641be977ac4617fbe366294d5297ce7a4
ssa_ast: 9e3964cf4307beabc3f22b27c610a49809bcfe75f4c66fd2cc406ad0c24ab4b9
flattened_ast: 869d9dab385b00ba4d654a88e1c785c640533826da2287f63ccd8353ca4eb5ef
destructured_ast: bca9894b9c0ad05288b2a16005efe3f3da2717e7d7e72d65f1fbed7026407fdc
inlined_ast: bca9894b9c0ad05288b2a16005efe3f3da2717e7d7e72d65f1fbed7026407fdc
dce_ast: bca9894b9c0ad05288b2a16005efe3f3da2717e7d7e72d65f1fbed7026407fdc
bytecode: 0c73fbf3a08f7b89b82fc3189771704f58740f37c41f9c5aa7aef2a808badf9b
warnings: ""
- - compile:
- initial_symbol_table: b43f30cad53b635e2a38c6e3bab51d3903cfc765a9daa94c497308ca6410a2e8
type_checked_symbol_table: e2966afa1fcbcd12a21e83ed2dd65703ca4c2bc5290e3aa34ea0b03c7bfcaa1d
unrolled_symbol_table: e2966afa1fcbcd12a21e83ed2dd65703ca4c2bc5290e3aa34ea0b03c7bfcaa1d
initial_ast: e3baf7644c011644e3c9e51e20dfa1c7242e86b93417f1083a992124f3b492d1
unrolled_ast: aba2f62b495fb53afe02ab4d72b654c641be977ac4617fbe366294d5297ce7a4
ssa_ast: 9e3964cf4307beabc3f22b27c610a49809bcfe75f4c66fd2cc406ad0c24ab4b9
flattened_ast: 869d9dab385b00ba4d654a88e1c785c640533826da2287f63ccd8353ca4eb5ef
destructured_ast: bca9894b9c0ad05288b2a16005efe3f3da2717e7d7e72d65f1fbed7026407fdc
inlined_ast: bca9894b9c0ad05288b2a16005efe3f3da2717e7d7e72d65f1fbed7026407fdc
dce_ast: bca9894b9c0ad05288b2a16005efe3f3da2717e7d7e72d65f1fbed7026407fdc
bytecode: 0c73fbf3a08f7b89b82fc3189771704f58740f37c41f9c5aa7aef2a808badf9b
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/contains.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 2ae3af1955de3055ad1c14fb3fc57e084a948b40a3299001a2f6813044bbabf7
type_checked_symbol_table: 761bdac2c7043ce1dbc2e69d21e8435beecca3a8a73e5a00a48e914bc796634a
unrolled_symbol_table: 761bdac2c7043ce1dbc2e69d21e8435beecca3a8a73e5a00a48e914bc796634a
initial_ast: 2ad7be1423d5805bb25c86c0f1682e6d5f4fac77f7f71bfac50f63597fad27d8
unrolled_ast: 2ad7be1423d5805bb25c86c0f1682e6d5f4fac77f7f71bfac50f63597fad27d8
ssa_ast: b9b9b1b90bd053e61f0f57e01523719bc6d5e8b9bf15f900b0a7489d038b9065
flattened_ast: 48305e5780efcbf85bb6dfffcbcc6d943310cf499e82349283ab13d0058f6ef4
destructured_ast: cb5ad5d1894ee3618996b30632c5cd4d13a88fa99e47d804fab8eae6d5f9792c
inlined_ast: cb5ad5d1894ee3618996b30632c5cd4d13a88fa99e47d804fab8eae6d5f9792c
dce_ast: cb5ad5d1894ee3618996b30632c5cd4d13a88fa99e47d804fab8eae6d5f9792c
bytecode: 2560848929684abb429a7de8a2ff0368fa2ea939f25ae84851be67374b652e8e
warnings: ""
- - compile:
- initial_symbol_table: 2ae3af1955de3055ad1c14fb3fc57e084a948b40a3299001a2f6813044bbabf7
type_checked_symbol_table: 761bdac2c7043ce1dbc2e69d21e8435beecca3a8a73e5a00a48e914bc796634a
unrolled_symbol_table: 761bdac2c7043ce1dbc2e69d21e8435beecca3a8a73e5a00a48e914bc796634a
initial_ast: 2ad7be1423d5805bb25c86c0f1682e6d5f4fac77f7f71bfac50f63597fad27d8
unrolled_ast: 2ad7be1423d5805bb25c86c0f1682e6d5f4fac77f7f71bfac50f63597fad27d8
ssa_ast: b9b9b1b90bd053e61f0f57e01523719bc6d5e8b9bf15f900b0a7489d038b9065
flattened_ast: 48305e5780efcbf85bb6dfffcbcc6d943310cf499e82349283ab13d0058f6ef4
destructured_ast: cb5ad5d1894ee3618996b30632c5cd4d13a88fa99e47d804fab8eae6d5f9792c
inlined_ast: cb5ad5d1894ee3618996b30632c5cd4d13a88fa99e47d804fab8eae6d5f9792c
dce_ast: cb5ad5d1894ee3618996b30632c5cd4d13a88fa99e47d804fab8eae6d5f9792c
bytecode: 2560848929684abb429a7de8a2ff0368fa2ea939f25ae84851be67374b652e8e
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/decrement_via_get_set.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: ce1ed855fe151e330567bc6f3f186bda40123cf39c8f56187070b71af1253e30
type_checked_symbol_table: 9dc6b157431d5c451e70cbb8add3052daa4cd9b1c8d642248479758a0844184d
unrolled_symbol_table: 9dc6b157431d5c451e70cbb8add3052daa4cd9b1c8d642248479758a0844184d
initial_ast: 23862093168d7b6f5f3a57c674bfcccd443f4e9bb5d69653310a458c8f897e51
unrolled_ast: 23862093168d7b6f5f3a57c674bfcccd443f4e9bb5d69653310a458c8f897e51
ssa_ast: d392caa85d17be16322c6c18813fb10c2065c8075499f158e197c7ef39e98034
flattened_ast: 97b5bccca4b6661e67b74a89416341f4f779c6aee94969d17ae375195f22a35e
destructured_ast: a616ed11e77eaefc515602dfad1fcb451b536ffe7ef9be448253604730aead43
inlined_ast: a616ed11e77eaefc515602dfad1fcb451b536ffe7ef9be448253604730aead43
dce_ast: a616ed11e77eaefc515602dfad1fcb451b536ffe7ef9be448253604730aead43
bytecode: bbef5ec539b8616fe91e41c03c8ea6a71dfd3cb9731e634919bc8356e6664594
warnings: ""
- - compile:
- initial_symbol_table: ce1ed855fe151e330567bc6f3f186bda40123cf39c8f56187070b71af1253e30
type_checked_symbol_table: 9dc6b157431d5c451e70cbb8add3052daa4cd9b1c8d642248479758a0844184d
unrolled_symbol_table: 9dc6b157431d5c451e70cbb8add3052daa4cd9b1c8d642248479758a0844184d
initial_ast: 23862093168d7b6f5f3a57c674bfcccd443f4e9bb5d69653310a458c8f897e51
unrolled_ast: 23862093168d7b6f5f3a57c674bfcccd443f4e9bb5d69653310a458c8f897e51
ssa_ast: d392caa85d17be16322c6c18813fb10c2065c8075499f158e197c7ef39e98034
flattened_ast: 97b5bccca4b6661e67b74a89416341f4f779c6aee94969d17ae375195f22a35e
destructured_ast: a616ed11e77eaefc515602dfad1fcb451b536ffe7ef9be448253604730aead43
inlined_ast: a616ed11e77eaefc515602dfad1fcb451b536ffe7ef9be448253604730aead43
dce_ast: a616ed11e77eaefc515602dfad1fcb451b536ffe7ef9be448253604730aead43
bytecode: bbef5ec539b8616fe91e41c03c8ea6a71dfd3cb9731e634919bc8356e6664594
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/finalize.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 847ac6681d28871b3364962661895242f722ea0eb112f4d8aa7f46e3635906da
type_checked_symbol_table: 4d5f5a2edeca7dcfa8edfa563851005c61e873dd0ff1114edfb21459b71f320d
unrolled_symbol_table: 4d5f5a2edeca7dcfa8edfa563851005c61e873dd0ff1114edfb21459b71f320d
initial_ast: c4cfdb6b18bab53edad57dd2d80e86fe08ad84f5385caeac73356aa7b8f95e3a
unrolled_ast: c4cfdb6b18bab53edad57dd2d80e86fe08ad84f5385caeac73356aa7b8f95e3a
ssa_ast: e9877652a93ad8c89ec1a61c8cef8f1eb83e8252d79e0a3ca7ea3611f9e162f7
flattened_ast: c9937b78596e9675922c3ed2143ea249557cbc6ae260f5cb7ce98e3ecea1f77d
destructured_ast: 866bbb287d3fa10c53aba3e86c6247763b8a4bc19672c512872beb036b5178c5
inlined_ast: 866bbb287d3fa10c53aba3e86c6247763b8a4bc19672c512872beb036b5178c5
dce_ast: 866bbb287d3fa10c53aba3e86c6247763b8a4bc19672c512872beb036b5178c5
bytecode: 33d8ca1b78918f26980919a4a8b332fb9b375ac476b64636a387fdab715d4ed9
warnings: ""
- - compile:
- initial_symbol_table: 847ac6681d28871b3364962661895242f722ea0eb112f4d8aa7f46e3635906da
type_checked_symbol_table: 4d5f5a2edeca7dcfa8edfa563851005c61e873dd0ff1114edfb21459b71f320d
unrolled_symbol_table: 4d5f5a2edeca7dcfa8edfa563851005c61e873dd0ff1114edfb21459b71f320d
initial_ast: c4cfdb6b18bab53edad57dd2d80e86fe08ad84f5385caeac73356aa7b8f95e3a
unrolled_ast: c4cfdb6b18bab53edad57dd2d80e86fe08ad84f5385caeac73356aa7b8f95e3a
ssa_ast: e9877652a93ad8c89ec1a61c8cef8f1eb83e8252d79e0a3ca7ea3611f9e162f7
flattened_ast: c9937b78596e9675922c3ed2143ea249557cbc6ae260f5cb7ce98e3ecea1f77d
destructured_ast: 866bbb287d3fa10c53aba3e86c6247763b8a4bc19672c512872beb036b5178c5
inlined_ast: 866bbb287d3fa10c53aba3e86c6247763b8a4bc19672c512872beb036b5178c5
dce_ast: 866bbb287d3fa10c53aba3e86c6247763b8a4bc19672c512872beb036b5178c5
bytecode: 33d8ca1b78918f26980919a4a8b332fb9b375ac476b64636a387fdab715d4ed9
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/finalize_with_method_calls.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: b80193083c4cb8c674b1c93753c56fc684676a7e6da1829ca7dbb00f22c87435
type_checked_symbol_table: 8c0562c9af98ab5ace687a727271614d9e8296aa7f3de606b9a577d8dbdcd07a
unrolled_symbol_table: 8c0562c9af98ab5ace687a727271614d9e8296aa7f3de606b9a577d8dbdcd07a
initial_ast: 1fffd7f9f23d900652ad502de76e580bbaa9dc68c2ae95e8ce43ed7212f6c9f2
unrolled_ast: 1fffd7f9f23d900652ad502de76e580bbaa9dc68c2ae95e8ce43ed7212f6c9f2
ssa_ast: ef8353a914d5612175e95acfee3af6b57f9f0a749ba454b3a67b5dca4d3af65c
flattened_ast: 84ad39da600b2a054c4233e3f00c6e8faf3208fded492cc990693333bf634947
destructured_ast: 7d3854ed5c983016eb32f8420908427e4918692c1e6b24449276c35cafd12040
inlined_ast: 7d3854ed5c983016eb32f8420908427e4918692c1e6b24449276c35cafd12040
dce_ast: 7d3854ed5c983016eb32f8420908427e4918692c1e6b24449276c35cafd12040
bytecode: e9bcea998f0ff492fb57deabfcf08c4ed3f854880b595f17c9aa89181feb3764
warnings: ""
- - compile:
- initial_symbol_table: b80193083c4cb8c674b1c93753c56fc684676a7e6da1829ca7dbb00f22c87435
type_checked_symbol_table: 8c0562c9af98ab5ace687a727271614d9e8296aa7f3de606b9a577d8dbdcd07a
unrolled_symbol_table: 8c0562c9af98ab5ace687a727271614d9e8296aa7f3de606b9a577d8dbdcd07a
initial_ast: 1fffd7f9f23d900652ad502de76e580bbaa9dc68c2ae95e8ce43ed7212f6c9f2
unrolled_ast: 1fffd7f9f23d900652ad502de76e580bbaa9dc68c2ae95e8ce43ed7212f6c9f2
ssa_ast: ef8353a914d5612175e95acfee3af6b57f9f0a749ba454b3a67b5dca4d3af65c
flattened_ast: 84ad39da600b2a054c4233e3f00c6e8faf3208fded492cc990693333bf634947
destructured_ast: 7d3854ed5c983016eb32f8420908427e4918692c1e6b24449276c35cafd12040
inlined_ast: 7d3854ed5c983016eb32f8420908427e4918692c1e6b24449276c35cafd12040
dce_ast: 7d3854ed5c983016eb32f8420908427e4918692c1e6b24449276c35cafd12040
bytecode: e9bcea998f0ff492fb57deabfcf08c4ed3f854880b595f17c9aa89181feb3764
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/increment_via_get_set.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 577b8865f276e736edef05104906d98bcce956544480abaa86ef8ffb4c4ed75b
type_checked_symbol_table: 8816f12fb66e59417256bf15681064fc7b301a811662aaf0dda1c34e97f1877c
unrolled_symbol_table: 8816f12fb66e59417256bf15681064fc7b301a811662aaf0dda1c34e97f1877c
initial_ast: cce69e6030357b055c442fc74e512ec5d01d3cb752a6a70e924812ba9136d193
unrolled_ast: cce69e6030357b055c442fc74e512ec5d01d3cb752a6a70e924812ba9136d193
ssa_ast: 67ac35d3e2bd3642a4cc1b247b0f9bc067a09f6571bbe484fe27116faf8d9df3
flattened_ast: 789b7f7363a1510387e86395da1c01995fd2660c111184b5e827f866c116ae92
destructured_ast: 5ef10faaba4377cf6af18c35d6a517bf60981e2761507cdbc46513c982b09a7f
inlined_ast: 5ef10faaba4377cf6af18c35d6a517bf60981e2761507cdbc46513c982b09a7f
dce_ast: 5ef10faaba4377cf6af18c35d6a517bf60981e2761507cdbc46513c982b09a7f
bytecode: 10e754c190939dcffa342c5eef2be0dcb73ef1a9b4391a99e963db6dc61bd38a
warnings: ""
- - compile:
- initial_symbol_table: 577b8865f276e736edef05104906d98bcce956544480abaa86ef8ffb4c4ed75b
type_checked_symbol_table: 8816f12fb66e59417256bf15681064fc7b301a811662aaf0dda1c34e97f1877c
unrolled_symbol_table: 8816f12fb66e59417256bf15681064fc7b301a811662aaf0dda1c34e97f1877c
initial_ast: cce69e6030357b055c442fc74e512ec5d01d3cb752a6a70e924812ba9136d193
unrolled_ast: cce69e6030357b055c442fc74e512ec5d01d3cb752a6a70e924812ba9136d193
ssa_ast: 67ac35d3e2bd3642a4cc1b247b0f9bc067a09f6571bbe484fe27116faf8d9df3
flattened_ast: 789b7f7363a1510387e86395da1c01995fd2660c111184b5e827f866c116ae92
destructured_ast: 5ef10faaba4377cf6af18c35d6a517bf60981e2761507cdbc46513c982b09a7f
inlined_ast: 5ef10faaba4377cf6af18c35d6a517bf60981e2761507cdbc46513c982b09a7f
dce_ast: 5ef10faaba4377cf6af18c35d6a517bf60981e2761507cdbc46513c982b09a7f
bytecode: 10e754c190939dcffa342c5eef2be0dcb73ef1a9b4391a99e963db6dc61bd38a
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/mapping.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 1538b670829e5632e6e1ccabe745f3014ad80b9436efe29593b7d8b83caf5ff4
type_checked_symbol_table: 3836ae29708904b0927cb9200c3829771aa3a7861293efe3581f62eb6c0100ff
unrolled_symbol_table: 3836ae29708904b0927cb9200c3829771aa3a7861293efe3581f62eb6c0100ff
initial_ast: 031ef6aaead58d45cbddc96e0c34d70cb23bbe2992e9acbe6098534a8af00f04
unrolled_ast: 031ef6aaead58d45cbddc96e0c34d70cb23bbe2992e9acbe6098534a8af00f04
ssa_ast: cab910162fc58c97ad816fdcb97fae9f9c616d411fd2b6d93c4bc71719461b99
flattened_ast: bd0cef58179ab8354a8c7a097c2d180b7410d2470992b09afff7bdd94f71c536
destructured_ast: b5caad28d1bf15768201178c53cb8554a6a6825ce7ef1d7f21e53f25286e42e2
inlined_ast: b5caad28d1bf15768201178c53cb8554a6a6825ce7ef1d7f21e53f25286e42e2
dce_ast: b5caad28d1bf15768201178c53cb8554a6a6825ce7ef1d7f21e53f25286e42e2
bytecode: 312c25062c283bf27a955dc0d7035c166da12e5e40eb55b9e6572af8750e0474
warnings: ""
- - compile:
- initial_symbol_table: 1538b670829e5632e6e1ccabe745f3014ad80b9436efe29593b7d8b83caf5ff4
type_checked_symbol_table: 3836ae29708904b0927cb9200c3829771aa3a7861293efe3581f62eb6c0100ff
unrolled_symbol_table: 3836ae29708904b0927cb9200c3829771aa3a7861293efe3581f62eb6c0100ff
initial_ast: 031ef6aaead58d45cbddc96e0c34d70cb23bbe2992e9acbe6098534a8af00f04
unrolled_ast: 031ef6aaead58d45cbddc96e0c34d70cb23bbe2992e9acbe6098534a8af00f04
ssa_ast: cab910162fc58c97ad816fdcb97fae9f9c616d411fd2b6d93c4bc71719461b99
flattened_ast: bd0cef58179ab8354a8c7a097c2d180b7410d2470992b09afff7bdd94f71c536
destructured_ast: b5caad28d1bf15768201178c53cb8554a6a6825ce7ef1d7f21e53f25286e42e2
inlined_ast: b5caad28d1bf15768201178c53cb8554a6a6825ce7ef1d7f21e53f25286e42e2
dce_ast: b5caad28d1bf15768201178c53cb8554a6a6825ce7ef1d7f21e53f25286e42e2
bytecode: 312c25062c283bf27a955dc0d7035c166da12e5e40eb55b9e6572af8750e0474
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/only_finalize_with_flattening.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 1037eebfcb702a108733bdf8d4aa1a9c3f35ff6b9d2b1f78a44c4b99b59c7238
type_checked_symbol_table: 01a3e4a3a41864cbca66a63ac761d0021300d4f74984c92c39a7bdaf5a56c03a
unrolled_symbol_table: 01a3e4a3a41864cbca66a63ac761d0021300d4f74984c92c39a7bdaf5a56c03a
initial_ast: 6726149bba858064439fc62c698f711c8456ecd1cbf764803b9dc89758928fd4
unrolled_ast: 6726149bba858064439fc62c698f711c8456ecd1cbf764803b9dc89758928fd4
ssa_ast: f8c8c864e1e09ffda9f3dea52d844e42b2612afcc08db547cbb10158af92371c
flattened_ast: f75ab90370cb169b567245bc4d92f18ae6713eea90b1e17fc0acce08e4ee5475
destructured_ast: 1a71cdee50c0d5a7a392fefdf4bca6b1a7f91f7dcf6f9a54ffe53dac0540c8c6
inlined_ast: 1a71cdee50c0d5a7a392fefdf4bca6b1a7f91f7dcf6f9a54ffe53dac0540c8c6
dce_ast: 1a71cdee50c0d5a7a392fefdf4bca6b1a7f91f7dcf6f9a54ffe53dac0540c8c6
bytecode: d1cb76177aa7ffcdc033855e2696b25791292c7c6b38fdc3c1e145dadc0f838a
warnings: ""
- - compile:
- initial_symbol_table: 1037eebfcb702a108733bdf8d4aa1a9c3f35ff6b9d2b1f78a44c4b99b59c7238
type_checked_symbol_table: 01a3e4a3a41864cbca66a63ac761d0021300d4f74984c92c39a7bdaf5a56c03a
unrolled_symbol_table: 01a3e4a3a41864cbca66a63ac761d0021300d4f74984c92c39a7bdaf5a56c03a
initial_ast: 6726149bba858064439fc62c698f711c8456ecd1cbf764803b9dc89758928fd4
unrolled_ast: 6726149bba858064439fc62c698f711c8456ecd1cbf764803b9dc89758928fd4
ssa_ast: f8c8c864e1e09ffda9f3dea52d844e42b2612afcc08db547cbb10158af92371c
flattened_ast: f75ab90370cb169b567245bc4d92f18ae6713eea90b1e17fc0acce08e4ee5475
destructured_ast: 1a71cdee50c0d5a7a392fefdf4bca6b1a7f91f7dcf6f9a54ffe53dac0540c8c6
inlined_ast: 1a71cdee50c0d5a7a392fefdf4bca6b1a7f91f7dcf6f9a54ffe53dac0540c8c6
dce_ast: 1a71cdee50c0d5a7a392fefdf4bca6b1a7f91f7dcf6f9a54ffe53dac0540c8c6
bytecode: d1cb76177aa7ffcdc033855e2696b25791292c7c6b38fdc3c1e145dadc0f838a
errors: ""
warnings: ""

26
tests/expectations/compiler/finalize/remove.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 2ae3af1955de3055ad1c14fb3fc57e084a948b40a3299001a2f6813044bbabf7
type_checked_symbol_table: dbf0aaf564a08e7dbfc8e679bab7b1aab92c0475af8ba4de303587fd6c2d8fb2
unrolled_symbol_table: dbf0aaf564a08e7dbfc8e679bab7b1aab92c0475af8ba4de303587fd6c2d8fb2
initial_ast: 5b715f1ba792d6e01f83f6bcdad82ce00e88f25d15e19b8292695c2f245e9e4d
unrolled_ast: 5b715f1ba792d6e01f83f6bcdad82ce00e88f25d15e19b8292695c2f245e9e4d
ssa_ast: 882ce8ddd14b276ab765145f686e9e39ca9954bca03b5fcd0b60ce193db9590c
flattened_ast: 93ac89505d1e9ad329fb2a2375634a650cce29375bb13c0e9f70243d78df404c
destructured_ast: 08c8ffbab54b142cbfbc9bfd9fa0b4844813fbf165e10a52f466a3d8f175687d
inlined_ast: 08c8ffbab54b142cbfbc9bfd9fa0b4844813fbf165e10a52f466a3d8f175687d
dce_ast: 08c8ffbab54b142cbfbc9bfd9fa0b4844813fbf165e10a52f466a3d8f175687d
bytecode: 7598ca95ba8e589482a0d951cae6f2f8571e7ae33ec8f56dbe83077dac5100d4
warnings: ""
- - compile:
- initial_symbol_table: 2ae3af1955de3055ad1c14fb3fc57e084a948b40a3299001a2f6813044bbabf7
type_checked_symbol_table: dbf0aaf564a08e7dbfc8e679bab7b1aab92c0475af8ba4de303587fd6c2d8fb2
unrolled_symbol_table: dbf0aaf564a08e7dbfc8e679bab7b1aab92c0475af8ba4de303587fd6c2d8fb2
initial_ast: 5b715f1ba792d6e01f83f6bcdad82ce00e88f25d15e19b8292695c2f245e9e4d
unrolled_ast: 5b715f1ba792d6e01f83f6bcdad82ce00e88f25d15e19b8292695c2f245e9e4d
ssa_ast: 882ce8ddd14b276ab765145f686e9e39ca9954bca03b5fcd0b60ce193db9590c
flattened_ast: 93ac89505d1e9ad329fb2a2375634a650cce29375bb13c0e9f70243d78df404c
destructured_ast: 08c8ffbab54b142cbfbc9bfd9fa0b4844813fbf165e10a52f466a3d8f175687d
inlined_ast: 08c8ffbab54b142cbfbc9bfd9fa0b4844813fbf165e10a52f466a3d8f175687d
dce_ast: 08c8ffbab54b142cbfbc9bfd9fa0b4844813fbf165e10a52f466a3d8f175687d
bytecode: 7598ca95ba8e589482a0d951cae6f2f8571e7ae33ec8f56dbe83077dac5100d4
errors: ""
warnings: ""

30
tests/expectations/compiler/mappings/external_read_with_local_fail.out
View File

@ -1,5 +1,31 @@
---
namespace: Compile
expectation: Fail
expectation: Pass
outputs:
- "Error [EPAR0370026]: Only one program scope is allowed in a Leo file.\n --> compiler-test:16:1\n |\n 16 | program relay.aleo {\n | ^^^^^^^"
- - compile:
- initial_symbol_table: fc307df07f8a0a99719ce23e16d771c29663370df120dc876a4def3c7edd38f8
type_checked_symbol_table: 74dce5ddd90f9483b16a0ae4ddce3eb728f079f5ed712874318dbd57feb7dba7
unrolled_symbol_table: 74dce5ddd90f9483b16a0ae4ddce3eb728f079f5ed712874318dbd57feb7dba7
initial_ast: efda1c6e7be18efe4ea6169f6d27b7f106db42d5bcde956e70da339e30e091df
unrolled_ast: efda1c6e7be18efe4ea6169f6d27b7f106db42d5bcde956e70da339e30e091df
ssa_ast: 9ac972bcd784822c2f6fecfd95137246ae16fe5bf981891067feb17527bcfcd9
flattened_ast: 379bca911757006b6ea7396ddd3b73bceabb8f7a05b5561a59d01dee9c3944fd
destructured_ast: 94de0a00b2744a8d57c0d9a24b99c9a41b061dded4fc41a01e61c32dcc157511
inlined_ast: 94de0a00b2744a8d57c0d9a24b99c9a41b061dded4fc41a01e61c32dcc157511
dce_ast: 94de0a00b2744a8d57c0d9a24b99c9a41b061dded4fc41a01e61c32dcc157511
bytecode: a79b2e6157ea82497b98275cbe0746e2d547267bd062ba5e089f837534c28d92
errors: ""
warnings: ""
- initial_symbol_table: a1113e81d6c945d804f8e014f4170218ed27823345d10beaef7c47b67241ef10
type_checked_symbol_table: 9db8362dfadd19afd9c39b1fe1da4bb8db6e8bcedc4ebd715126089e9157bc6c
unrolled_symbol_table: 9db8362dfadd19afd9c39b1fe1da4bb8db6e8bcedc4ebd715126089e9157bc6c
initial_ast: 0d7c905b9e1a1e3c04fcac8019cac1def846ac1e12c73cd119096fdb6d26195d
unrolled_ast: 70ed7ac2b24e252a3a04db25601d3a32d5848c1b3a8c5ec7813fc1faa436d691
ssa_ast: af87a3be9d09336844cea42bb7d7cf8b71513ce3695d38759f2a6944ce39bd88
flattened_ast: 84812afb475e8b27510d8202520e1b2a2bc893df20841a0e43fd164b55ee93fe
destructured_ast: 35f55a0a47aea8d4394db748c6c0eaa23bbd43650530507c28b952de8f00456e
inlined_ast: 35f55a0a47aea8d4394db748c6c0eaa23bbd43650530507c28b952de8f00456e
dce_ast: 35f55a0a47aea8d4394db748c6c0eaa23bbd43650530507c28b952de8f00456e
bytecode: 427876b88e7f2efa548ec261aeffae11a73c629a9e6a561f7d43a802dd493c78
errors: ""
warnings: ""

26
tests/expectations/compiler/mappings/max_mappings.out
View File

@ -2,15 +2,17 @@
namespace: Compile
expectation: Pass
outputs:
- - initial_symbol_table: 34edd130a88ec79cf1bffb97463a75025c9ef5f052262880ed745bb9e8f9a5f9
type_checked_symbol_table: f6322a8c8e9e64b22226631dbdee83d25f9b22cd17dfce13767ffb32fa31279c
unrolled_symbol_table: f6322a8c8e9e64b22226631dbdee83d25f9b22cd17dfce13767ffb32fa31279c
initial_ast: 150dd9e51de303f340bf42c43e56212ffd9249f80a76068ce09f89d41329d791
unrolled_ast: 150dd9e51de303f340bf42c43e56212ffd9249f80a76068ce09f89d41329d791
ssa_ast: d9ba913dbadab575952cc049c051e1fbd5bdf6f8134639fe112eb9621c72639c
flattened_ast: 252a72bd6bc5c2e49c3eda6fa380f8b02f77ff7a937977856c71b3536e20a149
destructured_ast: ae8d4f958068a458b17a9e236eedb2751d497d976eccc66c60fc06ee998b0b11
inlined_ast: ae8d4f958068a458b17a9e236eedb2751d497d976eccc66c60fc06ee998b0b11
dce_ast: ae8d4f958068a458b17a9e236eedb2751d497d976eccc66c60fc06ee998b0b11
bytecode: 510d9a029bd4900c2278ae7b0d1a7a595b0bd6bae6e362e7bf3ca900ef8bdc8d
warnings: ""
- - compile:
- initial_symbol_table: 34edd130a88ec79cf1bffb97463a75025c9ef5f052262880ed745bb9e8f9a5f9
type_checked_symbol_table: f6322a8c8e9e64b22226631dbdee83d25f9b22cd17dfce13767ffb32fa31279c
unrolled_symbol_table: f6322a8c8e9e64b22226631dbdee83d25f9b22cd17dfce13767ffb32fa31279c
initial_ast: 150dd9e51de303f340bf42c43e56212ffd9249f80a76068ce09f89d41329d791
unrolled_ast: 150dd9e51de303f340bf42c43e56212ffd9249f80a76068ce09f89d41329d791
ssa_ast: d9ba913dbadab575952cc049c051e1fbd5bdf6f8134639fe112eb9621c72639c
flattened_ast: 252a72bd6bc5c2e49c3eda6fa380f8b02f77ff7a937977856c71b3536e20a149
destructured_ast: ae8d4f958068a458b17a9e236eedb2751d497d976eccc66c60fc06ee998b0b11
inlined_ast: ae8d4f958068a458b17a9e236eedb2751d497d976eccc66c60fc06ee998b0b11
dce_ast: ae8d4f958068a458b17a9e236eedb2751d497d976eccc66c60fc06ee998b0b11
bytecode: 510d9a029bd4900c2278ae7b0d1a7a595b0bd6bae6e362e7bf3ca900ef8bdc8d
errors: ""
warnings: ""

6
tests/tests/compiler/mappings/external_read_with_local_fail.leo
View File

@ -1,6 +1,6 @@
/*
namespace: Compile
expectation: Fail
expectation: Pass
*/
program registry.aleo {
@ -15,6 +15,7 @@ program registry.aleo {
}
// --- Next Program --- //
import registry.aleo;
program relay.aleo {
mapping users: address => bool;
@ -23,6 +24,7 @@ program relay.aleo {
return then finalize(addr);
}
finalize send(addr: address) {
let a:bool = Mapping::get(relay.aleo/users, addr);
let a:bool = Mapping::get(registry.aleo/users, addr);
assert_eq(a, true);
}
}