throw lexer errors from devour_whitespace (#1778)

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 4c9c0f2f1b826d039de99a3b846d8bff59dd0457..9fef738c3fac7f898181e9651d4fa0ee2a4f8e04 100644 (file)
--- 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(())