Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

prefer chez scheme 10+ over racket fork #3233

Merged
merged 7 commits into from
Mar 21, 2024

Conversation

mattpolzin
Copy link
Collaborator

Description

Chez 10.0.0 merged a lot of work from the Racket fork of Chez including support for new systems. Importantly, the Racket team has decided not to maintain a fork going forward now that a sufficient amount of work has been upstreamed, so we should prefer Chez Scheme and not the Racket fork when possible going forward.

Should this change go in the CHANGELOG?

  • If this is a fix, user-facing change, a compiler change, or a new paper
    implementation, I have updated CHANGELOG_NEXT.md (and potentially also
    CONTRIBUTORS.md).

@dunhamsteve
Copy link
Contributor

For simplicity, we might drop the mention of the Racket Chez (and its build instructions).

But since I added that, the instructions have simplified to:

git clone [email protected]:racket/ChezScheme.git
cd ChezScheme
./configure --threads
make
sudo make install

The other steps seem to be handled by the configure script now.

@dunhamsteve
Copy link
Contributor

Also, homebrew is updated to include chez 10 for aarch64, so that should be the easiest path for mac users. (I don't use ports, so I don't know the situation there.)

@mattpolzin
Copy link
Collaborator Author

Thanks for the suggestions. I'll incorporate them soon hopefully. I'm also digging into what appears to be evidence that Chez 10 breaks a couple of edge-case things with Idris's scheme support code so that would need to be fixed before recommending Chez 10 as well.

@dunhamsteve
Copy link
Contributor

I'd love to hear details when you get it sorted out. Homebrew is on chez 10 now (and ships idris2 against it).

If it involves signal handling, chez bug 809 might be related.

@mattpolzin
Copy link
Collaborator Author

It looks like the last error I saw was actually a skill issue; it resolved when I did a cycle of clean, build, and install; somewhere I must have had stale (e.g. built with Scheme 9.x) support files.

@mattpolzin mattpolzin marked this pull request as ready for review March 19, 2024 15:39
@mattpolzin mattpolzin merged commit 1c186f0 into idris-lang:main Mar 21, 2024
22 checks passed
@mattpolzin mattpolzin deleted the prefer-chez-10 branch March 21, 2024 18:30
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.

2 participants