Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

prefer chez scheme 10+ over racket fork

Open mattpolzin opened this issue 1 year ago • 2 comments

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).

mattpolzin avatar Mar 09 '24 21:03 mattpolzin

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 avatar Mar 09 '24 21:03 dunhamsteve

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.)

dunhamsteve avatar Mar 09 '24 21:03 dunhamsteve

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.

mattpolzin avatar Mar 16 '24 21:03 mattpolzin

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.

dunhamsteve avatar Mar 17 '24 02:03 dunhamsteve

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 avatar Mar 17 '24 20:03 mattpolzin