Rationalize struct and record types.

They are now consistently parsed with or without a program name
as they appear in the source, which makes it easier to
supply user-understandable error messages.

compiler/ast/src/types/struct_type.rs

@@ -31,6 +31,10 @@ pub struct CompositeType {
 
 impl fmt::Display for CompositeType {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-        write!(f, "{id}", id = self.id)
+        if let Some(program) = self.program {
+            write!(f, "{}.aleo/{}", program, self.id)
+        } else {
+            write!(f, "{}", self.id)
+        }
     }
 }

compiler/ast/src/types/type_.rs

@@ -149,7 +149,7 @@ impl fmt::Display for Type {
             Type::Scalar => write!(f, "scalar"),
             Type::Signature => write!(f, "signature"),
             Type::String => write!(f, "string"),
-            Type::Composite(ref struct_type) => write!(f, "{}", struct_type.id.name),
+            Type::Composite(ref struct_type) => write!(f, "{struct_type}"),
             Type::Tuple(ref tuple) => write!(f, "{tuple}"),
             Type::Unit => write!(f, "()"),
             Type::Err => write!(f, "error"),

compiler/parser/src/parser/type_.rs

@@ -108,7 +108,7 @@ impl<N: Network> ParserContext<'_, N> {
                 }
             }
 
-            Ok((Type::Composite(CompositeType { id: ident, program: self.program_name }), ident.span))
+            Ok((Type::Composite(CompositeType { id: ident, program: None }), ident.span))
         } else if self.token.token == Token::LeftSquare {
             // Parse the left bracket.
             self.expect(&Token::LeftSquare)?;

compiler/passes/src/common/symbol_table/mod.rs

@@ -209,6 +209,10 @@ impl SymbolTable {
     pub fn lookup_struct(&self, location: Location, main_program: Option<Symbol>) -> Option<&Composite> {
         if let Some(struct_) = self.structs.get(&location) {
             return Some(struct_);
+        } else if location.program.is_none() {
+            if let Some(struct_) = self.structs.get(&Location::new(main_program, location.name)) {
+                return Some(struct_);
+            }
         } else if location.program == main_program {
             if let Some(struct_) = self.structs.get(&Location::new(None, location.name)) {
                 return Some(struct_);

compiler/passes/src/type_checking/check_expressions.rs

@@ -748,8 +748,9 @@ impl<'a, N: Network> ExpressionVisitor<'a> for TypeChecker<'a, N> {
             self.emit_err(TypeCheckerError::unknown_sym("struct", input.name.name, input.name.span()));
             return Type::Err;
         };
-        // Check struct type name.
-        let type_ = self.check_expected_struct(&struct_, additional, input.name.span());
+
+        let type_ = Type::Composite(CompositeType { id: input.name, program: None });
+        self.maybe_assert_type(&type_, additional, input.name.span());
 
         // Check number of struct members.
         if struct_.members.len() != input.members.len() {

compiler/passes/src/type_checking/checker.rs

@@ -838,16 +838,6 @@ impl<'a, N: Network> TypeChecker<'a, N> {
         }
     }
 
-    /// Returns the `struct` type and emits an error if the `expected` type does not match.
-    pub(crate) fn check_expected_struct(&mut self, struct_: &Composite, expected: &Option<Type>, span: Span) -> Type {
-        let program = struct_.external.or(self.scope_state.program_name);
-        let current_struct = CompositeType { id: struct_.identifier, program };
-        if expected.is_some() {
-            self.check_eq_types(&Some(Type::Composite(current_struct)), expected, span);
-        }
-        Type::Composite(current_struct)
-    }
-
     /// Emits an error if the struct member is a record type.
     pub(crate) fn assert_member_is_not_record(&mut self, span: Span, parent: Symbol, type_: &Type) {
         match type_ {

tests/expectations/compiler/array/array_in_composite_data_types.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "4f8ab92e1b0589f9f72c264bded41a74ab81a95c0863bbb2128c2e455f8940ce", type_checked_symbol_table = "80855e8466f2d8c141ade84f032cd8e08d31253bd9ed6d5961e22ed21fa60758", unrolled_symbol_table = "80855e8466f2d8c141ade84f032cd8e08d31253bd9ed6d5961e22ed21fa60758", initial_ast = "85c3840f1f944a2935fb3c72572498e35718479567668c2021b58c351770e687", unrolled_ast = "85c3840f1f944a2935fb3c72572498e35718479567668c2021b58c351770e687", ssa_ast = "d0361696dcc37db64ddb4dd16c46da32544b40473ab527a7ead74006e606aa27", flattened_ast = "62ed1887b901a2595b4a0501739273c9a1be99f7087d69dc0c3ea3e3ad7608a3", destructured_ast = "1269eb8715c7b65336f707b4a034353214600e240b5771bc1c7ce20630cd8b08", inlined_ast = "1269eb8715c7b65336f707b4a034353214600e240b5771bc1c7ce20630cd8b08", dce_ast = "1269eb8715c7b65336f707b4a034353214600e240b5771bc1c7ce20630cd8b08", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "25dab89309e5e0c7c8b71b31f2a36741154e2e57cc3fed67f885cb8658efe092", type_checked_symbol_table = "b5ff59ba45bfb803d4b6f49cae6a0a615b4672f662b4a432919a4db1cc21ce54", unrolled_symbol_table = "b5ff59ba45bfb803d4b6f49cae6a0a615b4672f662b4a432919a4db1cc21ce54", initial_ast = "df75ddc12225ac6a386c0c3eef00e66e0944691fc384b27096c5daf0a103e0ce", unrolled_ast = "df75ddc12225ac6a386c0c3eef00e66e0944691fc384b27096c5daf0a103e0ce", ssa_ast = "ed2178a2a85bdf8b1775fafe950fc81d25e6b144a51e30faa7370adda15f4151", flattened_ast = "77faef8d0b740f66a77d17a9a194a2c34fecd583862077d7c9f04da952f00e7f", destructured_ast = "94bd5ab71dfad6a18a92fd4ea2bbf7fb8f45f39572554b14df25228f29e6ae75", inlined_ast = "94bd5ab71dfad6a18a92fd4ea2bbf7fb8f45f39572554b14df25228f29e6ae75", dce_ast = "94bd5ab71dfad6a18a92fd4ea2bbf7fb8f45f39572554b14df25228f29e6ae75", bytecode = """
 program test.aleo;
 
 struct bar:

tests/expectations/compiler/array/array_of_structs.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "2810f9059b0a96a9416ee2a7212debabcb4bc6802095bdff039065d3fda7f3c7", type_checked_symbol_table = "b6307badfe522266447d5503e92045f5935d26a0c13cbcc7d78f0da6b6128a0b", unrolled_symbol_table = "b6307badfe522266447d5503e92045f5935d26a0c13cbcc7d78f0da6b6128a0b", initial_ast = "c5174335068d386bf09f1613ddc2765ab788afbce0a83dc94c8197d792570324", unrolled_ast = "c5174335068d386bf09f1613ddc2765ab788afbce0a83dc94c8197d792570324", ssa_ast = "ec179cc367b277c201b59fc08a6063297f826e09867caf663f30629a0d6bc8e4", flattened_ast = "cdd4b046fda370d0630b92e41a7544214dd31b5b58c830f40ac93c5b4e33e542", destructured_ast = "19737108a3b3f9a45517e31a0d273c74ae5cda9c8bc86480c96317e6cd33d478", inlined_ast = "19737108a3b3f9a45517e31a0d273c74ae5cda9c8bc86480c96317e6cd33d478", dce_ast = "19737108a3b3f9a45517e31a0d273c74ae5cda9c8bc86480c96317e6cd33d478", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "a619a11441157fb2839072b92e550161cd828647d9b105708e0fc09cda8948c9", type_checked_symbol_table = "02b483cf4c923a200655561856b49080ca10f1054012b9f9b2aa8e4316d01dee", unrolled_symbol_table = "02b483cf4c923a200655561856b49080ca10f1054012b9f9b2aa8e4316d01dee", initial_ast = "d10f263df43d11f80f4680fa77584cbc84821340f3d4988a71123a23d91c6568", unrolled_ast = "d10f263df43d11f80f4680fa77584cbc84821340f3d4988a71123a23d91c6568", ssa_ast = "34e840d725a0480f04bf8ce09126011132cd3e0e0385a91222380ac11096e1c1", flattened_ast = "1b310e6f2ac91a36840b8d5e77ddcaa32c1cb2b78cea171c694ca9aaa11a4265", destructured_ast = "d0248ad1b4f8df9edea988d5576c4cc29cfb991d63a1e4f77dd473137bc044a0", inlined_ast = "d0248ad1b4f8df9edea988d5576c4cc29cfb991d63a1e4f77dd473137bc044a0", dce_ast = "d0248ad1b4f8df9edea988d5576c4cc29cfb991d63a1e4f77dd473137bc044a0", bytecode = """
 program test.aleo;
 
 struct bar:

tests/expectations/compiler/console/assert.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "e842df421595b3b67809502efd4090ad62f3a1c381caff3e87fdb0db1d8f05e3", type_checked_symbol_table = "488dfeda4033ab38d660e18201b8374a0afdab04b361438010b4f781d34246b7", unrolled_symbol_table = "488dfeda4033ab38d660e18201b8374a0afdab04b361438010b4f781d34246b7", initial_ast = "6d7ed631427a4ab10f27d2452a1964ad467c76d926d7728a879ecc04dc1cf223", unrolled_ast = "6d7ed631427a4ab10f27d2452a1964ad467c76d926d7728a879ecc04dc1cf223", ssa_ast = "127fc107ad2d3bfd8d45ee0776aa87d5ceb98ea74021834e0a2be91b3aabc2ab", flattened_ast = "384b9c3dc0e6dd88220902841f0b60485d5618eb8c294fad74fa50e695354778", destructured_ast = "0df4d5d73bcbbc4eb62ed67c5b14d1b8838ccef0a38617f9bffae87e9e8f61d2", inlined_ast = "0df4d5d73bcbbc4eb62ed67c5b14d1b8838ccef0a38617f9bffae87e9e8f61d2", dce_ast = "0df4d5d73bcbbc4eb62ed67c5b14d1b8838ccef0a38617f9bffae87e9e8f61d2", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "e17724da5359a9d6e484912a5b1b271d48095a19793582f11c8076e2b951598e", type_checked_symbol_table = "0cf479605887957ccbf5b9788ed9e965a677de867e6103c664e10cfd3d20a649", unrolled_symbol_table = "0cf479605887957ccbf5b9788ed9e965a677de867e6103c664e10cfd3d20a649", initial_ast = "ade6a543693f5fa250337f907a2fc60682e91a30041e4429c997a1a64d2a7d21", unrolled_ast = "ade6a543693f5fa250337f907a2fc60682e91a30041e4429c997a1a64d2a7d21", ssa_ast = "205b0e256162ee0f668c8eb126ead3fb6cfe5ab29e078b849510e4618599ed12", flattened_ast = "c20f911f4549bb2640dea1a42c952cf0d72b09c7ea38d85e8ae1cf4782bb218f", destructured_ast = "0e3ddfa4e71ebe6d7f86fa9ea0083973831945dccd0f84debd6f3302cfd724b2", inlined_ast = "0e3ddfa4e71ebe6d7f86fa9ea0083973831945dccd0f84debd6f3302cfd724b2", dce_ast = "0e3ddfa4e71ebe6d7f86fa9ea0083973831945dccd0f84debd6f3302cfd724b2", bytecode = """
 program test.aleo;
 
 struct Foo:

tests/expectations/compiler/core/cheatcodes/valid_cheatcodes.out

@@ -1,7 +1,7 @@
 namespace = "Compile"
 expectation = "Pass"
 outputs = [[{ compile = [
-    { initial_symbol_table = "0fbe7b86610386bfb1c7f0f211b2043baae706b9195008f8553511968f9297e7", type_checked_symbol_table = "efc3324af11b2f3645010266f1a871d799b81b07bec594fa88402b3f6fe1330b", unrolled_symbol_table = "efc3324af11b2f3645010266f1a871d799b81b07bec594fa88402b3f6fe1330b", initial_ast = "472f984ad224e345de6a6a8cb7c4986b0bf8fa288713c38a506b41bad280faa5", unrolled_ast = "472f984ad224e345de6a6a8cb7c4986b0bf8fa288713c38a506b41bad280faa5", ssa_ast = "ff6501ea72e6a46b15d71a89b71181851fba9aa2e6ee2a36d70218ad1a089a68", flattened_ast = "ba4154876562575fc3f8b6106a3ed4ab331382a4538ebc9630c82ed9be48176b", destructured_ast = "a995365c129f150bc361a571e5a0810f014a62c170d39e904b7de473bcdac50f", inlined_ast = "3a2f11285208b9bd75048be921a23504d9389ae81e2bdc96f631943cfa4349c6", dce_ast = "ed19a1a5455d89e6a59914923e69d600b0fde7fa91cae652d70756eb59365e03", bytecode = """
+    { initial_symbol_table = "3349dda351214687b35578120a51581edd42403e912458606d5740d7d29ae4dd", type_checked_symbol_table = "881447243aa23b39575f79716a9f9d9c087d03be1e7bd5f1d09c047725b41329", unrolled_symbol_table = "881447243aa23b39575f79716a9f9d9c087d03be1e7bd5f1d09c047725b41329", initial_ast = "328918d0b3dd6923b30d9ce7404976121e3dd96f32210e9fb514726faef7c2ef", unrolled_ast = "328918d0b3dd6923b30d9ce7404976121e3dd96f32210e9fb514726faef7c2ef", ssa_ast = "a29765973d8c7313f07a01152b5581c3a4a3c1267884e05a7fa16baf4d7eda9a", flattened_ast = "6c44e51bc580168e9f278da0e3a18813f062be0987e0b3011dab7bbdf0194b21", destructured_ast = "6a0ef2c464ec65e4d9f0f4a6d235e8212999712c19f967c6224a67899f42295b", inlined_ast = "2cfb650c684c9932c879bb78fcbc37d602d1ed8068af087b32b0a9e66084e4b1", dce_ast = "86830ad8e03a76f370944f3b12a6fe11ec4db8a520ee7e0e18ab7ec1c4986efb", bytecode = """
 program test_dep.aleo;
 
 record yeets:

tests/expectations/compiler/examples/auction.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "e62c1b7c10399ecc5c160520319218d96b599b5cfd37add3032a8455552c7892", type_checked_symbol_table = "6b8247d514ab06d72b92f94ada2a29c109fdb033decdc417a95ba371a2323fcb", unrolled_symbol_table = "6b8247d514ab06d72b92f94ada2a29c109fdb033decdc417a95ba371a2323fcb", initial_ast = "2939c07bf811d0a110e3f4d41ce08332be4a6938213330fcda20502369155023", unrolled_ast = "2939c07bf811d0a110e3f4d41ce08332be4a6938213330fcda20502369155023", ssa_ast = "5b011875455c2efbb3c222c91b40f049ca074e3b21685e27bfff6ecf50359ecf", flattened_ast = "71235c2f490ba2f1d7cabccec771d68078a8313fa2ecbdb3a17e88410132bde4", destructured_ast = "236729b9a950bec2251d0ea55cc078f41437cdbd16beb05fa2910fbe6f671182", inlined_ast = "236729b9a950bec2251d0ea55cc078f41437cdbd16beb05fa2910fbe6f671182", dce_ast = "7477da18c60adbb27b8213fae81aea20b3a4efaf8e42369c468eb8cc1c8b5932", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "eb20ab396fe0e6965bcaaee417fddfd04b27436e73b4d7f6bf46354a4ce8d07e", type_checked_symbol_table = "f50379f16b722af3a55627b4db0f442e8cf8e91c958c998071be0d87d7d02941", unrolled_symbol_table = "f50379f16b722af3a55627b4db0f442e8cf8e91c958c998071be0d87d7d02941", initial_ast = "014e052391d2f27952e6de0f7afaf94ac06cd399f93bd197b93ad593d8644e49", unrolled_ast = "014e052391d2f27952e6de0f7afaf94ac06cd399f93bd197b93ad593d8644e49", ssa_ast = "c791ed1655e0d6b12abc298c5442225e479c64599e9bef0d6d1ef27880ab451b", flattened_ast = "e4c0fa59f046d31d8e80e507e30dc03ba9df178da4ba4bd13a84477ac357665f", destructured_ast = "74df548901d3abc4c04c5addfeed0548dc73ce57f2e12f322158e60120fab228", inlined_ast = "74df548901d3abc4c04c5addfeed0548dc73ce57f2e12f322158e60120fab228", dce_ast = "2546c436a9b29ede93c8e5cf62f222e5422cefb99f4487f367af3b07d26ada45", bytecode = """
 program test.aleo;
 
 record Bid:

tests/expectations/compiler/examples/basic_bank.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "abe61054ca9df211b12060173d3acc1cd94d7dd48e1bd907b9e1aa15b92c93d9", type_checked_symbol_table = "945b5379ae48537f8fadbaf30876c78885d39f7cfa795e756bc6b4f016e4ecc1", unrolled_symbol_table = "0bbd5894a5358013b410a8f8e7af0cc454314f6ec92f369be24f257d59ded394", initial_ast = "75dcf9468ef37d52c5e5ec868637ba8d33c6476d76bce004c9c6ac4ec905e3ba", unrolled_ast = "112fcc76097784bf2a7d01e5588b7ee7a1ccfa74eea5f0f16c2a91efcbea13fd", ssa_ast = "566b51d62d9ccd2c7d180c63640e9b6aad68d9f3f380c350985417bd820305bc", flattened_ast = "826db74250d660f581a5b868dfd69c093472c194cd174c7a2b3df7d062b820be", destructured_ast = "0724b0d8e232c379b198d1d00453e70ba260eab0477d934f85d0543dd0d8caf6", inlined_ast = "35356c074003b4bf9673a83428041bf5fbc04d8ea0ca06250362834dfdc6693b", dce_ast = "3d405275856db1a0f883660bbbc9e0cff7210228856ad27d250ee560d166d545", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "78294a11549585557ba8c781342793e075dcc6840419b892ff37df2f23b33c6c", type_checked_symbol_table = "24c2796dc9660174c3013b709e4fe3bbca63d7836ea285a19d86eb3609f769fc", unrolled_symbol_table = "6610b9dde0643dfaa7e627d3f6f10c023b501345b6f4cad2ea34bae9c50cc01b", initial_ast = "afd0c43368595954066cc180e6d0a34219f99ffbf45ada7ddcb4321e0c2ef653", unrolled_ast = "f9882681dc07458860c74d0e7d05603c419a74822a5abc8ac41087b85761e57c", ssa_ast = "2729c8158b3b9a46c220650f10e8d9df94747acaed0bb9907165c57f3b4d3bc9", flattened_ast = "8efae0646b0ac5ce627f62647141fc232d395db37f5460bd5e1b96333334e217", destructured_ast = "838defeb12327fa063e9a80f5ff55427eca7e789f5615be913237348e412197a", inlined_ast = "6e6f7ce994f0ba16e3bd8368e7c4a19f721ee247e1afd3cb46118da24a65791c", dce_ast = "8178534c7c88a95e714f96e00b2a63fb9dbcbd3847586bc38c2e26abd071d02d", bytecode = """
 program basic_bank.aleo;
 
 record Token:

tests/expectations/compiler/examples/board.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "480e3d1e1fdc4718c7f2a8a0b7a6b1a7f2243b74b49855f5468f1dc425fee8e7", type_checked_symbol_table = "d916e4ab2c45e95fb1da32e78d7bb089f2a38e09afc0a19d9249d659110bdff3", unrolled_symbol_table = "d916e4ab2c45e95fb1da32e78d7bb089f2a38e09afc0a19d9249d659110bdff3", initial_ast = "b0e1262b9d03522d0707dc941c7a4c8d7456a39c40b1b1b1e871211bbf523341", unrolled_ast = "acb9cb4c6e1c851516357aa55867049913fbd4b551fab4722e83ab4de82f5ba8", ssa_ast = "f137e104bbb7d7a0559a7266ffcddaa9a973d8111d9c37405ab4a27a8aa0ac9e", flattened_ast = "a45aaac9032646f13fdf858730d4d6b0f6c6d3af8e9febb654a847542a07b4a8", destructured_ast = "28b9eba3d18205fe1f17db1cb43bbf9fd9fbe58a09c85c7b5d777d6b8ea80769", inlined_ast = "28b9eba3d18205fe1f17db1cb43bbf9fd9fbe58a09c85c7b5d777d6b8ea80769", dce_ast = "28b9eba3d18205fe1f17db1cb43bbf9fd9fbe58a09c85c7b5d777d6b8ea80769", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "bff4ce63ddc2c22166b5e86112e7871e3fc30b5b460174b378892f9287061bf2", type_checked_symbol_table = "1fd8ebc4340033e4ca6fe5c738116f97e540d628d46f245e35d645449c36b88f", unrolled_symbol_table = "1fd8ebc4340033e4ca6fe5c738116f97e540d628d46f245e35d645449c36b88f", initial_ast = "45f31dfe621b5164f7ecde898c0cf98470c2acd163aa11fb042ff09ad1ef0ea9", unrolled_ast = "6c377330bbbcf12d95c44b97d40d289da7ab8e3c5ff0dd6aeff0e457774672db", ssa_ast = "eb6afaae75233e2bcf9ae3cc019180ac6bb9cd97d2e7563b5c45ae3c0d235da8", flattened_ast = "02ae084f99d1afd56deaef32a171ef53c2b83cb0e8423b0a1d9e8c0a828a13e4", destructured_ast = "bcfcd070c404d3b8b1d7dd40f79ad0a56e1e0af0fb4fd99004a31ede62df3bce", inlined_ast = "bcfcd070c404d3b8b1d7dd40f79ad0a56e1e0af0fb4fd99004a31ede62df3bce", dce_ast = "bcfcd070c404d3b8b1d7dd40f79ad0a56e1e0af0fb4fd99004a31ede62df3bce", bytecode = """
 program test.aleo;
 
 record board_state:

tests/expectations/compiler/examples/lottery.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "de199bdd9ae2c78e94fa54ed8e8baf87c9537e41de5026ab0d14f53b83aacdb0", type_checked_symbol_table = "eb4dd79e5f9dc3a1743543cf2115709402096e611f33fa03ea993cdef8bc2ca7", unrolled_symbol_table = "eb4dd79e5f9dc3a1743543cf2115709402096e611f33fa03ea993cdef8bc2ca7", initial_ast = "73d93c0436d1f4d002aa332cd43a87a01b55b42159d6495575306c25046267c4", unrolled_ast = "73d93c0436d1f4d002aa332cd43a87a01b55b42159d6495575306c25046267c4", ssa_ast = "acd509aa91092052b0da10bf0cdf5f735abf19cd6eb36c8fa81bc76e81e9ae22", flattened_ast = "d3658d88011d718cf081dc6bba7ae8af03fee2fa087304c5d8380a45df7906e6", destructured_ast = "999d48666be8894ce006e9852315718a7f83cc950becbf190482fc18b9997dac", inlined_ast = "57d9676f2703db440cf5ed4100030689db993c8e84b445111844e8be24970960", dce_ast = "57d9676f2703db440cf5ed4100030689db993c8e84b445111844e8be24970960", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "603fec4a6591c71f6b28160b966105aacecc678c601c4957b2b9044462336666", type_checked_symbol_table = "1cb0e7b23c3867e86acf8902c436b868d248ce8c805960c4537c606f1d00e8a5", unrolled_symbol_table = "1cb0e7b23c3867e86acf8902c436b868d248ce8c805960c4537c606f1d00e8a5", initial_ast = "15b9546ab7a4c5d7beeb223816ddac37ea0572634bed5a2cc34bb311aa72e4cd", unrolled_ast = "15b9546ab7a4c5d7beeb223816ddac37ea0572634bed5a2cc34bb311aa72e4cd", ssa_ast = "232c939ca56f08e4b64bde91fe46378604c743c68d044734c4c0d87164feae0f", flattened_ast = "5d1ead6ab82deafdd0b1a0ef2bba29d5bcd013cef8696e992b1ee4b6d1c2b492", destructured_ast = "8aaca8c57b9195cf47bc6c7de8be3b4dbfd7a2577018fa2303d2c3824c5d0515", inlined_ast = "594722fe6c8f48eefc16c2bc6e4f7477a33d614dc460a9f140b414cc125181c6", dce_ast = "594722fe6c8f48eefc16c2bc6e4f7477a33d614dc460a9f140b414cc125181c6", bytecode = """
 program lottery.aleo;
 
 record Ticket:

tests/expectations/compiler/examples/message.out

@@ -1,6 +1,6 @@
 namespace = "Compile"
 expectation = "Pass"
-outputs = [[{ compile = [{ initial_symbol_table = "fb455f236aab153fd9f750766a9cf7e4c1d1918ff5b0f2a8d1ff649303753fcb", type_checked_symbol_table = "0bf394c4301d7959b38dbd32534372b12837f2323c5c231886b3446ad55e7e99", unrolled_symbol_table = "0bf394c4301d7959b38dbd32534372b12837f2323c5c231886b3446ad55e7e99", initial_ast = "a4d7ed400ef99c9aed387a69ad03347749a65128a90c578f0a7410edaf27bfee", unrolled_ast = "a4d7ed400ef99c9aed387a69ad03347749a65128a90c578f0a7410edaf27bfee", ssa_ast = "331ebd18ba6a6c3442c6e0ceae137ada6bc9e4596a9d72d742e2617e654c03a6", flattened_ast = "b6364e15a02c80b23bcb20a25b5994a8d34c03adb71994eace22c0343ec3ba76", destructured_ast = "96a2bb89a5fcb1474e6ea44a4beabbe2414c132504e3f9bb3c2baf9b2140101f", inlined_ast = "96a2bb89a5fcb1474e6ea44a4beabbe2414c132504e3f9bb3c2baf9b2140101f", dce_ast = "96a2bb89a5fcb1474e6ea44a4beabbe2414c132504e3f9bb3c2baf9b2140101f", bytecode = """
+outputs = [[{ compile = [{ initial_symbol_table = "6bc7ea8d5176066a3987e0aa6a67e1636cabec33acb9c69894709332f9a9019d", type_checked_symbol_table = "cb5b792cb4d85beac27cb2714d127d045731f04bf42dc3ee3f4b477b1df911d0", unrolled_symbol_table = "cb5b792cb4d85beac27cb2714d127d045731f04bf42dc3ee3f4b477b1df911d0", initial_ast = "313047d0d651ed17ee499024af389b2be5bf82cc6d17463ff545affdc990ae85", unrolled_ast = "313047d0d651ed17ee499024af389b2be5bf82cc6d17463ff545affdc990ae85", ssa_ast = "c965b5bcf32ac6b2964c84dcf3ffccdf169bc8abc844771127c06707cd0dc588", flattened_ast = "f44775c8340e34d6dd98594e671491a5c28bdce19dfc8eca30ac9c499c1c5d5c", destructured_ast = "9fa4e4a380e0da3e33b0a30dd98bb2e9c0181e8d59b314d47285de677d85d9ab", inlined_ast = "9fa4e4a380e0da3e33b0a30dd98bb2e9c0181e8d59b314d47285de677d85d9ab", dce_ast = "9fa4e4a380e0da3e33b0a30dd98bb2e9c0181e8d59b314d47285de677d85d9ab", bytecode = """
 program test.aleo;
 
 struct Message: