From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sun, 4 Aug 2024 10:23:31 +0000 (+0200)
Subject: remove obsolete ExistenceError::Declaration
X-Git-Tag: v0.10.0~123^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2d04c0dcf875aee47d9fbd0bd6ad7d208df89155;p=scryer-prolog.git

remove obsolete ExistenceError::Declaration
---

diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs
index df38d5c5..16ab4b60 100644
--- a/src/machine/machine_errors.rs
+++ b/src/machine/machine_errors.rs
@@ -415,21 +415,6 @@ impl MachineState {
                     from: ErrorProvenance::Constructed,
                 }
             }
-            ExistenceError::Declaration(name, arity) => {
-                let culprit = functor!(atom!("/"), [atom(name), fixnum(arity)]);
-
-                let stub = functor!(
-                    atom!("existence_error"),
-                    [atom(atom!("declaration")), str(self.heap.len(), 0)],
-                    [culprit]
-                );
-
-                MachineError {
-                    stub,
-                    location: None,
-                    from: ErrorProvenance::Constructed,
-                }
-            }
             ExistenceError::ModuleSource(source) => {
                 let source_stub = source.as_functor_stub();
 
@@ -1059,7 +1044,6 @@ pub enum ExistenceError {
     Module(Atom),
     ModuleSource(ModuleSource),
     Procedure(Atom, usize),
-    Declaration(Atom, usize),
     QualifiedProcedure {
         module_name: Atom,
         name: Atom,