From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 20 Jul 2025 23:55:07 +0000 (-0700)
Subject: allow abolish_clause to abolish empty dynamic clauses (#3010)
X-Git-Tag: v0.10.0~35^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=65dda019a26f402d07d4e16163355e58706cbfd4;p=scryer-prolog.git

allow abolish_clause to abolish empty dynamic clauses (#3010)
---

diff --git a/src/machine/loader.rs b/src/machine/loader.rs
index 02b8a2b0..685a69a0 100644
--- a/src/machine/loader.rs
+++ b/src/machine/loader.rs
@@ -2120,14 +2120,16 @@ impl Machine {
                 .indices
                 .remove_predicate_skeleton(&compilation_target, &key)
                 .map(|skeleton| {
-                    let mut clause_clause_skeleton = loader
-                        .wam_prelude
-                        .indices
-                        .remove_predicate_skeleton(
+                    let mut clause_clause_skeleton =
+                        match loader.wam_prelude.indices.remove_predicate_skeleton(
                             &clause_clause_compilation_target,
                             &(atom!("$clause"), 2),
-                        )
-                        .unwrap();
+                        ) {
+                            Some(skeleton) => skeleton,
+                            None => {
+                                return vec![];
+                            }
+                        };
 
                     let result = skeleton
                         .core