version 1.1, 1994/08/31 16:37:45
|
version 1.2, 1995/09/06 21:00:14
|
Line 77 create emit-file-char 0 c,
|
Line 77 create emit-file-char 0 c,
|
r@ put-load-file-name |
r@ put-load-file-name |
source drop >in @ r@ write-file throw |
source drop >in @ r@ write-file throw |
127 r@ emit-file throw |
127 r@ emit-file throw |
|
bl r@ emit-file throw |
last @ name>string r@ write-file throw |
last @ name>string r@ write-file throw |
|
bl r@ emit-file throw |
1 r@ emit-file throw |
1 r@ emit-file throw |
base @ decimal loadline @ 0 <# #s #> r@ write-file throw base ! |
base @ decimal loadline @ 0 <# #s #> r@ write-file throw base ! |
s" ,0" r@ write-line throw |
s" ,0" r@ write-line throw |
Line 85 create emit-file-char 0 c,
|
Line 87 create emit-file-char 0 c,
|
\ instead of using 0, we could use file-position and subtract |
\ instead of using 0, we could use file-position and subtract |
\ the line length |
\ the line length |
rdrop |
rdrop |
endif ; |
endif cr ; |
|
|
: (tags-header) ( -- ) |
: (tags-header) ( -- ) |
defers header |
defers header |