program fix for calls

ProvableHQ · Dec 11, 2024 · 79b7da9 · 79b7da9
1 parent 6f690f3
commit 79b7da9
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/interpreter/src/cursor.rs b/interpreter/src/cursor.rs
@@ -786,10 +786,12 @@ impl<'a> Cursor<'a> {
                 let len = self.values.len();
                 let (program, name) = match &*call.function {
                     Expression::Identifier(id) => {
-                        let program = call
-                            .program
-                            .unwrap_or_else(|| self.current_program().expect("there should be a current program"));
-                        (program, id.name)
+                        let maybe_program = call.program.or_else(|| self.current_program());
+                        if let Some(program) = maybe_program {
+                            (program, id.name)
+                        } else {
+                            halt!(call.span, "No current program");
+                        }
                     }
                     Expression::Locator(locator) => (locator.program.name.name, locator.name),
                     _ => tc_fail!(),