AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-09-21 12:07:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add support for self.parent

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2023-09-27 18:33:04 -04:00
parent e820f7fae2
commit 4abec6b5fc
3 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/passes/src/type_checking/check_expressions.rs
View File

@ -116,6 +116,16 @@ impl<'a> ExpressionVisitor<'a> for TypeChecker<'a> {
))
}
return Some(Type::Address);
},
sym::parent => {
// Check that operation is not invoked in a `finalize` block.
if self.is_finalize {
self.handler.emit_err(TypeCheckerError::invalid_operation_inside_finalize(
"self.parent",
access.name.span(),
))
}
return Some(Type::Address)
}
_ => {
self.emit_err(TypeCheckerError::invalid_self_access(access.name.span()));

1
compiler/span/src/symbol.rs
View File

@ -252,6 +252,7 @@ symbols! {
main,
mapping,
Mut: "mut",
parent,
Return: "return",
SelfLower: "self",
SelfUpper: "Self",

2
errors/src/errors/type_checker/type_checker_error.rs
View File

@ -387,7 +387,7 @@ create_messages!(
@formatted
invalid_self_access {
args: (),
msg: format!("The allowed accesses to `self` are `self.caller`."),
msg: format!("The allowed accesses to `self` are `self.caller` and `self.parent`."),
help: None,
}