version 1.5, 1998/12/08 22:03:10
|
version 1.10, 2000/09/06 20:30:07
|
Line 32
|
Line 32
|
?dup IF |
?dup IF |
r> drop EXIT |
r> drop EXIT |
THEN |
THEN |
#lf r> emit-file ; |
newline r> write-file ; |
|
|
\ include-file 07apr93py |
\ include-file 07apr93py |
|
|
Line 69
|
Line 69
|
: 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 fid -- 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{fid}. |
\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 |