Merge pull request #296 from aiken-lang/zero-arg-anon-funcs

feat: handle anon zero arg functions
This commit is contained in:
Matthias Benkort 2023-01-19 11:23:21 +01:00 committed by GitHub
commit dcfa730de9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 1 deletions

View File

@ -3111,8 +3111,9 @@ impl<'a> CodeGenerator<'a> {
let term = arg_stack.pop().unwrap();
let zero_arg_functions = self.zero_arg_functions.clone();
let mut anon_func = true;
if let Term::Var(Name { text, .. }) = term {
if let Term::Var(Name { text, .. }) = term.clone() {
for (
FunctionAccessKey {
module_name,
@ -3146,9 +3147,13 @@ impl<'a> CodeGenerator<'a> {
eval_program.eval(ExBudget::default()).0.unwrap();
arg_stack.push(evaluated_term.try_into().unwrap());
anon_func = false;
}
}
}
if anon_func {
arg_stack.push(term);
}
}
}
Air::Builtin { func, tipo, .. } => match func {