version 1.9, 2000/08/17 12:46:58
|
version 1.11, 2000/09/09 20:32:58
|
Line 34
|
Line 34
|
THEN |
THEN |
newline r> write-file ; |
newline r> write-file ; |
|
|
|
: read-line ( c_addr u1 wfileid -- u2 flag wior ) |
|
(read-line) drop ; |
|
|
\ include-file 07apr93py |
\ include-file 07apr93py |
|
|
: push-file ( -- ) r> |
: push-file ( -- ) r> |
Line 69
|
Line 72
|
: read-loop ( i*x -- j*x ) |
: read-loop ( i*x -- j*x ) |
BEGIN refill WHILE interpret REPEAT ; |
BEGIN refill WHILE interpret REPEAT ; |
|
|
: include-file ( i*x wfileid -- j*x ) \ file |
: include-file1 ( i*x wfileid -- j*x ior1 ior2 ) |
\G Interpret (process using the text interpreter) the contents of |
\G Interpret (process using the text interpreter) the contents of |
\G the file @var{wfileid}. |
\G the file @var{wfileid}. |
push-file loadfile ! |
push-file loadfile ! |
0 loadline ! blk off ['] read-loop catch |
0 loadline ! blk off ['] read-loop catch |
loadfile @ close-file swap 2dup or |
loadfile @ close-file swap 2dup or |
pop-file drop throw throw ; |
pop-file drop ; |
|
|
|
: include-file2 ( i*x wfileid -- j*x ) |
|
\ like include-file, but does not update loadfile# |
|
include-file1 throw throw ; |
|
|
|
: include-file ( i*x wfileid -- j*x ) \ file |
|
loadfilename# @ >r |
|
3 loadfilename# ! \ "\a file/" |
|
include-file1 |
|
r> loadfilename# ! |
|
throw throw ; |
|
|
\ additional words only needed if there is file support |
\ additional words only needed if there is file support |
|
|
Warnings off |
Warnings off |