rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

improve Rust-generated permissions errors

Browse Source
This commit is contained in:
Mark Thom
2019-03-07 23:46:01 -07:00
parent 3cb1996e61
commit 267d1a9f5f
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/prolog/machine/machine_errors.rs
View File

@@ -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());