From: Bennet Bleßmann <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 19:40:38 +0000 (+0200)
Subject: ingore nerver looping loop, but add a todo
X-Git-Tag: v0.10.0~35^2~1^2~8
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7593f88d5a18476ff4ba13d7666cda6b58ebcafc;p=scryer-prolog.git

ingore nerver looping loop, but add a todo
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 10323c5c..77230c01 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -989,6 +989,7 @@ impl MachineState {
             }
         }
 
+        #[allow(clippy::never_loop)] // TODO why is there a loop here that never loops?
         loop {
             match lexer.lookahead_char() {
                 Err(e) if e.is_unexpected_eof() => {