[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Impro
From: |
Liliana Marie Prikler |
Subject: |
[bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Improve implementation. |
Date: |
Mon, 09 May 2022 09:41:35 +0200 |
User-agent: |
Evolution 3.42.1 |
Am Montag, dem 09.05.2022 um 03:20 -0400 schrieb Philip McGrath:
> On 5/9/22 02:21, Liliana Marie Prikler wrote:
> > As far as I can see, we have a bijection between *supported nix
> > systems* and chez-machines, with the *behaviour when looking up
> > unsupported systems* being *undefined*.
> I think a bijection happens to exist at the moment, but only by
> accident.
Emphasis mine. Look more closely, it's a bijection + undefined, where
undefined falls outside the realm of what should be reached outside of
supported-system queries. In short, the specification for nix-system-
>chez-machine is that for every *supported system* it returns the chez
machine as a string. Otherwise, it may return a string or #f, we don't
care. Thus, nix-system->chez-machine can serve as an upper bound for
supported-system, but not as its implementation.
> For example, while it isn't packaged for Guix, apparently
> aarch64-w64-mingw32 is a thing. Racket's Chez Scheme only added
> tarm64nt support as of this release, but had previously supported
> aarch64 with other kernels and the NT kernel with other
> architectures. If Guix had added that system before Racket's Chez
> did, 'nix-system->chez-machine' would have known how to write it as
> a Chez machine type, but nonetheless it wouldn't have had a native
> code backend.
That's irrelevant and not the purpose for having a conversion function.
> We explicitly list the systems for which Racket's Chez has a native
> code backend in '%chez-features-table',
Do we really?
> I think we should just use it, rather than try to be clever with
> 'nix-system->chez-machine'.
Well, that depends on what you're trying to use it for. Determining
features? Sure. Determining system support? Okay. But that doesn't
mean there's no valid use for nix-machine->chez-system – in particular
I think you over-eagerly removed a valid one earlier.
Cheers
- [bug#55248] [PATCH v3 0/9] gnu: Update Racket to 8.5 and Chez Scheme to 9.5.8., (continued)
- [bug#55248] [PATCH v3 0/9] gnu: Update Racket to 8.5 and Chez Scheme to 9.5.8., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 2/9] gnu: racket: Fix out-of-source build., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 3/9] gnu: chez-scheme: Update to 9.5.8., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 1/9] gnu: racket: Update to 8.5., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 4/9] gnu: chez-scheme: Refactor documentation phases., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 5/9] gnu: chez-scheme: Refactor configure phase and fix '--threads'., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 6/9] gnu: stex: Get machine type dynamically., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Improve implementation., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Improve implementation., Liliana Marie Prikler, 2022/05/09
- [bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Improve implementation., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 7/9] gnu: chez-upstream-features-for-system: Improve implementation.,
Liliana Marie Prikler <=
- [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems., Liliana Marie Prikler, 2022/05/09
- [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems., Liliana Marie Prikler, 2022/05/09
- [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems., Philip McGrath, 2022/05/12
- [bug#55248] [PATCH v3 8/9] gnu: chez-scheme-for-racket: Fix supported systems., Liliana Marie Prikler, 2022/05/12
- [bug#55248] [PATCH v3 9/9] gnu: chez-scheme-for-system: Adjust for bytecode backend., Philip McGrath, 2022/05/09
- [bug#55248] [PATCH 0/7] gnu: Update Racket to 8.5 and Chez Scheme to 9.5.8., Ludovic Courtès, 2022/05/09
- [bug#55248] [PATCH 0/7] gnu: Update Racket to 8.5 and Chez Scheme to 9.5.8., Philip McGrath, 2022/05/11
- [bug#55248] [PATCH v4 1/9] gnu: racket: Update to 8.5., Philip McGrath, 2022/05/12