diff options
| author | Irene Knapp <ireneista@irenes.space> | 2026-10-05 00:46:10 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2026-10-05 00:46:10 -0700 |
| commit | ec9f86c580f68cee79fb726f5d89436e22d33980 (patch) | |
| tree | c26c8f370d98b20ae10918b520552af63d059d1b /language | |
| parent | 4238c1b31a4eb6ceee82a8f998fdc45feef27ce9 (diff) | |
bug fix for "include"
be cautious committing this, it's not fully clear it's correct, but if it is it needed to be disentangled from the declarative compilation thing Force-Push: yes Change-Id: I2d0d41c24709391bd64766a9b08ec961c0f482e3
Diffstat (limited to 'language')
| -rw-r--r-- | language/dynamic/files.e | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/language/dynamic/files.e b/language/dynamic/files.e index 2a8c7c3..71fb355 100644 --- a/language/dynamic/files.e +++ b/language/dynamic/files.e @@ -152,6 +152,10 @@ main-input-buffer dup push-input-buffer swap attach-input-buffer-to-file-descriptor + ~ We don't know what the code we're including will do to the stack, so we + ~ have to discard the last of our information before running it. + drop + { peek -1 != } { interpret } while main-input-buffer buffer-file-descriptor @ sys-close drop |