diff options
Diffstat (limited to 'sanctuary.fs')
| -rw-r--r-- | sanctuary.fs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/sanctuary.fs b/sanctuary.fs index 9e4d56e..72dd439 100644 --- a/sanctuary.fs +++ b/sanctuary.fs @@ -283,14 +283,12 @@ privatise : save-input #tib @ cline-used ! >in @ cline->in ! ; : restore-input cline-used @ #tib ! cline->in @ >in ! cline tib ! ; -: dump-line cline cline-used @ type ; - : refill ( -- ? ) source-id 0< if false exit then 0 >in ! cline tib ! cline /line-buffer accept dup cline-used ! dup #tib ! - 0<> if true else false then .s ; + 0<> if true else false then ; : quit 0 to source-id postpone [ begin refill while interpret ( ." ok" cr ) repeat ; |