From: bakaq <bakaq@bakaq.net>
Date: Thu, 12 Dec 2024 08:43:23 +0000 (-0300)
Subject: Leave residual goals for later
X-Git-Tag: v0.10.0~92^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=17293a5753b03fde09efa3ccb7f2a96d3ce15214;p=scryer-prolog.git

Leave residual goals for later
---

diff --git a/src/machine/lib_machine/mod.rs b/src/machine/lib_machine/mod.rs
index 62352919..170fa2c9 100644
--- a/src/machine/lib_machine/mod.rs
+++ b/src/machine/lib_machine/mod.rs
@@ -31,16 +31,12 @@ pub enum LeafAnswer {
     False,
     /// An exception leaf answer.
     Exception(Term),
-    /// A leaf answer with bindings and residual goals.
+    /// A leaf answer with bindings.
+    #[non_exhaustive]
     LeafAnswer {
         /// The bindings of variables in the query.
-        ///
-        /// Can be empty.
         bindings: BTreeMap<String, Term>,
-        /// Residual goals.
-        ///
-        /// Can be empty.
-        residual_goals: Vec<Term>,
+        //residual_goals: Vec<Term>,
     },
 }
 
@@ -49,7 +45,6 @@ impl LeafAnswer {
     pub fn from_bindings<S: Into<String>>(bindings: impl IntoIterator<Item = (S, Term)>) -> Self {
         LeafAnswer::LeafAnswer {
             bindings: bindings.into_iter().map(|(k, v)| (k.into(), v)).collect(),
-            residual_goals: Vec::new(),
         }
     }
 }