From 267d1a9f5fdd378b2a4ab1eef857a4b776e9b017 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 7 Mar 2019 23:46:01 -0700 Subject: [PATCH] improve Rust-generated permissions errors --- src/prolog/machine/machine_errors.rs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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()); -- 2.54.0