105 |
(if (not (char-whitespace? res)) |
(if (not (char-whitespace? res)) |
106 |
(set! (buffered-input-continuation? port) #t)) |
(set! (buffered-input-continuation? port) #t)) |
107 |
res))))) |
res))))) |
108 |
|
(input-waiting |
109 |
|
(lambda () |
110 |
|
(if (eof-object? read-string) |
111 |
|
1 |
112 |
|
(- (string-length read-string) string-index)))) |
113 |
(port #f)) |
(port #f)) |
114 |
(set! port (make-soft-port (vector #f #f #f get-character #f) "r")) |
(set! port (make-soft-port (vector #f #f #f get-character #f input-waiting) "r")) |
115 |
(set! (buffered-input-continuation? port) #f) |
(set! (buffered-input-continuation? port) #f) |
116 |
port))) |
port))) |
117 |
|
|