diff options
| author | Irene Knapp <ireneista@irenes.space> | 2026-10-05 20:58:52 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2026-10-05 20:58:52 -0700 |
| commit | 2b601cdda09dc566c011efd1c5f72c30b196e1d3 (patch) | |
| tree | 9a9d6854311488e56b63563c581d4a91104c9260 /language/boot-source-footer.e | |
| parent | 39304d51c4a6d057e6515a9f75db2086940f6877 (diff) | |
yessssssssssss, nice clean invocation now
Force-Push: yes Change-Id: Id3bfde4a2053c9f07fd596def8381afc505949eb
Diffstat (limited to 'language/boot-source-footer.e')
| -rw-r--r-- | language/boot-source-footer.e | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/language/boot-source-footer.e b/language/boot-source-footer.e index e95fc0e..8889c0f 100644 --- a/language/boot-source-footer.e +++ b/language/boot-source-footer.e @@ -2,7 +2,18 @@ ~ last thing in the boot-source. It has the responsibility of switching from ~ processing boot-source into the regular interaction mode. -process-command-line-arguments +: finish-boot-source + ~ Once we do the relink, nothing after that point in the boot source will + ~ be read. Since we do have another operation to do before we actually hand + ~ over control to "quit", we need to do the relink in a compiled word like + ~ this. + relink-main-input-buffer-to-stdin -relink-main-input-buffer-to-stdin + ~ It may be helpful, if you're doing anything interesting at the command + ~ line, to keep this order of operations in mind. + process-command-line-arguments ; + +~ Notionally we could have this word be non-hidden, but there's no reason to +~ ever use it again, so out of a spirit of tidiness... +x' finish-boot-source make-hidden execute |