| |
|
| : put-load-file-name ( file-id -- ) |
: put-load-file-name ( file-id -- ) |
| >r |
>r |
| loadfilename 2@ last-loadfilename 2@ d<> |
sourcefilename last-loadfilename 2@ d<> |
| if |
if |
| #ff r@ emit-file throw |
#ff r@ emit-file throw |
| #lf r@ emit-file throw |
#lf r@ emit-file throw |
| loadfilename 2@ 2dup |
sourcefilename 2dup |
| r@ write-file throw |
r@ write-file throw |
| last-loadfilename 2! |
last-loadfilename 2! |
| s" ,0" r@ write-line throw |
s" ,0" r@ write-line throw |
| last @ name>string r@ write-file throw |
last @ name>string r@ write-file throw |
| bl r@ emit-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 sourceline# 0 <# #s #> r@ write-file throw base ! |
| s" ,0" r@ write-line throw |
s" ,0" r@ write-line throw |
| \ the character position in the file; not strictly necessary AFAIK |
\ the character position in the file; not strictly necessary AFAIK |
| \ instead of using 0, we could use file-position and subtract |
\ instead of using 0, we could use file-position and subtract |
