From 2d04c0dcf875aee47d9fbd0bd6ad7d208df89155 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= Date: Sun, 4 Aug 2024 12:23:31 +0200 Subject: [PATCH] remove obsolete ExistenceError::Declaration --- src/machine/machine_errors.rs | 16 ---------------- 1 file changed, 16 deletions(-) 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, -- 2.54.0