Skip to content

Racket install improvements - #1134

Merged
ashinn merged 4 commits into
ashinn:masterfrom
Retropikzel:racket-install-improvements
Jul 15, 2026
Merged

Racket install improvements#1134
ashinn merged 4 commits into
ashinn:masterfrom
Retropikzel:racket-install-improvements

Conversation

@Retropikzel

@Retropikzel Retropikzel commented Jul 4, 2026

Copy link
Copy Markdown
Contributor

The old version would (import (scheme base)) and reimporting something from there would then lead to an error. This version writes the complete content of .sld file into .rkt file.

@mxork

mxork commented Jul 14, 2026

Copy link
Copy Markdown

I think in-lining the entire file isn't necessary here. include is available in the initial #lang r7rs module environment, so the intitial (import (scheme base)) can just be removed.

@mxork

mxork commented Jul 14, 2026

Copy link
Copy Markdown

Though, I am curious about the original error, since the spec only says:

In a program or library declaration, it is an error to import the same identifier more than once with different bindings, or to redefine or mutate an imported binding with a definition or with set!, or to refer to an identifier before it is imported.

So I'm assuming you hit the "same identifier with different bindings case"? Or something weirder coming out of #lang r7rs

@Retropikzel

Copy link
Copy Markdown
Contributor Author

I think in-lining the entire file isn't necessary here. include is available in the initial #lang r7rs module environment, so the intitial (import (scheme base)) can just be removed.

Thanks! I didnt know that. I changed the code to that.

Though, I am curious about the original error, since the spec only says:

In a program or library declaration, it is an error to import the same identifier more than once with different bindings, or to redefine or mutate an imported binding with a definition or with set!, or to refer to an identifier before it is imported.

So I'm assuming you hit the "same identifier with different bindings case"? Or something weirder coming out of #lang r7rs

Something like that. I can not remember where I got the error anymore. I should have included it in the pull request.

@ashinn
ashinn merged commit 1df3348 into ashinn:master Jul 15, 2026
5 of 6 checks passed
@Retropikzel

Copy link
Copy Markdown
Contributor Author

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants