G. Allais

A trailing character at the far right of the line is easy to miss. We dismissed this possibility last time around for this reason. What about a modified `≡`? I...

Sounds similar to #4057

Is this #840?

Can you try `RACKET=racket make bootstrap-racket`? I [have been trying to fix the `/usr/bin/env` scenario](https://github.com/gallais/Idris2/commit/a9199831ef15293da98e88c6b15d3d1b34189f30) to no avail so far.

Yeah I expect the file is there. But for some reason MacOS is ignoring the env variables telling it where to look for this lib. I don't see how to...

> Two tests are failing with the same error though: Only these 2? What about `make test only=basic048`? (All 3 use `--exec main --cg` as options which gets idris2 to...

I did make some progress by putting the library in `~/lib/` on my [mac-racket](https://github.com/gallais/idris2/tree/mac-racket) branch. But then I still got quite a few failures in `make test`: https://github.com/gallais/Idris2/runs/1926777245 I am...

Can you try `main` instead of 0.5.1?

> (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64e')) This seems to be the issue

> Which looks like idris2 wants the Chez scheme executable even though it was built with Racket? By default idris2 will use chezscheme to compile `.idr` files. You have to...