diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 4c9c0f2f..9fef738c 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -7393,9 +7393,15 @@ impl Machine { match self.machine_st.devour_whitespace(stream) { Ok(false) => { // not at EOF. } - _ => { + Ok(true) => { self.machine_st.fail = true; } + Err(err) => { + let stub = functor_stub(atom!("load"), 1); + let err = self.machine_st.syntax_error(err); + + return Err(self.machine_st.error_form(err, stub)); + } } Ok(())