version 1.45, 2000/09/23 15:46:56
|
version 1.46, 2000/10/29 20:27:02
|
Line 132 decimal
|
Line 132 decimal
|
|
|
\ SOURCE-ID SAVE-INPUT RESTORE-INPUT 11jun93jaw |
\ SOURCE-ID SAVE-INPUT RESTORE-INPUT 11jun93jaw |
|
|
|
[IFUNDEF] source-id |
: source-id ( -- 0 | -1 | fileid ) \ core-ext,file source-i-d |
: source-id ( -- 0 | -1 | fileid ) \ core-ext,file source-i-d |
\G Return 0 (the input source is the user input device), -1 (the |
\G Return 0 (the input source is the user input device), -1 (the |
\G input source is a string being processed by @code{evaluate}) or |
\G input source is a string being processed by @code{evaluate}) or |
Line 181 decimal
|
Line 182 decimal
|
r> loadline ! |
r> loadline ! |
>in ! |
>in ! |
false ; |
false ; |
|
[THEN] |
\ This things we don't need, but for being complete... jaw |
\ This things we don't need, but for being complete... jaw |
|
|
\ EXPECT SPAN 17may93jaw |
\ EXPECT SPAN 17may93jaw |