This commit is contained in:
Ayaz Hafiz 2023-03-31 18:04:32 -05:00
parent 906f2349b8
commit 32a59b7e72
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 7 additions and 5 deletions

View file

@ -52,12 +52,12 @@ fn print_declarations_help<'a>(
let body = &declarations.expressions[index];
let def = match tag {
DeclarationTag::Value => def_symbol_help(c, &f, symbol, &body.value),
DeclarationTag::Value => def_symbol_help(c, f, symbol, &body.value),
DeclarationTag::Function(f_index)
| DeclarationTag::Recursive(f_index)
| DeclarationTag::TailRecursive(f_index) => {
let function_def = &declarations.function_bodies[f_index.index()].value;
toplevel_function(c, &f, symbol, function_def, &body.value)
toplevel_function(c, f, symbol, function_def, &body.value)
}
DeclarationTag::Expectation => todo!(),
DeclarationTag::ExpectationFx => todo!(),