From 410a5c2ed08ebc580aa23088aabaac7d46059f7f Mon Sep 17 00:00:00 2001 From: Koichi Nakamura <koichi@idein.jp> Date: Tue, 5 Jan 2021 08:17:54 +0900 Subject: [PATCH] minor fix --- bootstrap.fs | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/bootstrap.fs b/bootstrap.fs index 9d7a8b3..b2cdf84 100644 --- a/bootstrap.fs +++ b/bootstrap.fs @@ -1575,13 +1575,10 @@ stdin_ push-inputstream -56 s" Bye" def-error QUIT : interpret - word case \ read name from input + word \ read name from input - \ EOF check - success of ( ok ) endof - UNEXPECTED-EOF-ERROR of QUIT throw endof - throw ( rethrow other errors ) - endcase + \ EOF at this point is not an error + UNEXPECTED-EOF-ERROR = if QUIT throw then dup word-buffer strcpy \ save input dup find \ lookup dictionary @@ -1640,9 +1637,7 @@ stdin_ push-inputstream : switch-to-4th-stage rdrop \ drop 3rd stage - ['] interpret-loop catch - - bye + ['] interpret-loop catch bye ; switch-to-4th-stage