ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-29 10:03:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

check for empty frames

Browse Source
This commit is contained in:
Michael Benfield 2024-11-14 14:33:48 -08:00
parent 18818daa68
commit 4ad3ec7da3
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
interpreter/src/cursor.rs
View File

@ -2377,6 +2377,10 @@ impl<'a> Cursor<'a> {
/// stack. Once that has executed and we've returned to the conditional, the final step
/// does nothing.
pub fn step(&mut self) -> Result<StepResult> {
if self.frames.is_empty() {
halt!("no execution frames available");
}
let Frame { element, step, user_initiated } = self.frames.last().expect("there should be a frame");
let user_initiated = *user_initiated;
match element {