From 3b565483d9fbf6454d6d0e79a4e8fe1ae6c9eace Mon Sep 17 00:00:00 2001 From: Irene Knapp Date: Wed, 23 Sep 2026 20:36:05 -0700 Subject: properly report and handle EOF when handling input this should be a robust fix for the double-termination issue when compiling Force-Push: yes Change-Id: Ieaacdc232ea7e3036916d81139fc5c5a41087c64 --- files.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'files.e') diff --git a/files.e b/files.e index 5bafd9a..9f353c5 100644 --- a/files.e +++ b/files.e @@ -152,7 +152,7 @@ main-input-buffer dup push-input-buffer swap attach-input-buffer-to-file-descriptor - { peek } { interpret } while + { peek -1 != } { interpret } while main-input-buffer buffer-file-descriptor @ sys-close drop ~ Ignore a failed close. -- cgit 1.4.1