| |
|
| \ 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 |
| 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 |