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

change behaviour in supposedly unreachable cases

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-26 13:14:29 +02:00
committed by Bennet Bleßmann
parent d2ffd4f4bf
commit dc495f10f8
2 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/machine/machine_errors.rs
View File

@@ -601,6 +601,15 @@ impl MachineState {
}
}
pub(super) fn unreachable_error(&self) -> MachineError {
let stub = functor!(atom!("system_error"));
MachineError {
stub,
location: None,
}
}
#[cfg(feature = "ffi")]
pub(super) fn ffi_error(&self, err: FFIError) -> MachineError {
let error_atom = match err {

9
src/machine/system_calls.rs
View File

@@ -8680,6 +8680,7 @@ impl Machine {
self.machine_st.throw_resource_error(resource_err_loc);
}
}
Ok(())
} else {
#[cfg(unix)]
{
@@ -8697,16 +8698,18 @@ impl Machine {
self.machine_st.throw_resource_error(resource_err_loc);
}
}
Ok(())
} else {
unify!(self.machine_st, status_r, atom_as_cell!(atom!("unknown")));
let err = self.machine_st.unreachable_error();
Err(self.machine_st.error_form(err, stub_gen()))
}
}
#[cfg(not(unix))]
{
unify!(self.machine_st, status_r, atom_as_cell!(atom!("unknown")));
let err = self.machine_st.unreachable_error();
Err(self.machine_st.error_form(err, stub_gen()))
}
}
Ok(())
}
Err(_) => {
let perm_error = self.machine_st.permission_error(