From: Mark <markjordanthom@gmail.com>
Date: Tue, 4 Jul 2023 22:09:54 +0000 (-0600)
Subject: throw lexer errors from devour_whitespace (#1778)
X-Git-Tag: v0.9.2~91
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7683367c0e5a2716f6569f428a007fa3acaadb5a;p=scryer-prolog.git

throw lexer errors from devour_whitespace (#1778)
---

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