From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 8 Mar 2019 06:46:01 +0000 (-0700)
Subject: improve Rust-generated permissions errors
X-Git-Tag: v0.8.110~195
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=267d1a9f5fdd378b2a4ab1eef857a4b776e9b017;p=scryer-prolog.git

improve Rust-generated permissions errors
---

diff --git a/src/prolog/machine/machine_errors.rs b/src/prolog/machine/machine_errors.rs
index 38453624..772f0219 100644
--- a/src/prolog/machine/machine_errors.rs
+++ b/src/prolog/machine/machine_errors.rs
@@ -80,11 +80,13 @@ impl MachineError {
         }
     }
 
-    pub(super) fn permission_error(err: PermissionError, pred_str: ClauseName) -> Self {
+    pub(super)
+    fn permission_error(err: PermissionError, pred_str: ClauseName) -> Self
+    {
         let pred_str = HeapCellValue::Addr(Addr::Con(Constant::Atom(pred_str, None)));
 
-        let err = vec![heap_atom!(err.as_str()), pred_str];
-        let mut stub = functor!("permission_error", 2);
+        let err = vec![heap_atom!(err.as_str()), heap_atom!("private_procedure"), pred_str];
+        let mut stub = functor!("permission_error", 3);
 
         stub.extend(err.into_iter());