[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 08:21:24 +0200 |
User-agent: |
Evolution 3.42.1 |
Am Montag, dem 09.05.2022 um 02:02 -0400 schrieb Philip McGrath:
> In this commit, we reimplement 'chez-upstream-features-for-system'
> using the new '%chez-features-table', which explicitly specifies
> platform support for both 'chez-scheme' and 'chez-scheme-for-racket',
> rather than assuming a non-false result from 'nix-system->chez-machine'
> means that the system is supported.
>
> The remaining uses of 'nix-system->chez-machine' still make that
> incorrect assumption and must be repaired in a future commit.
Do they really? 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. This means that nix-
system->chez-machine is well-formed in contexts outside of supported-
system, e.g. also for the 6/9 patch.
Cheers
- [bug#55248] [PATCH v2 2/9] gnu: racket: Fix out-of-source build., (continued)
- [bug#55248] [PATCH v2 2/9] gnu: racket: Fix out-of-source build., Philip McGrath, 2022/05/08
- [bug#55248] [PATCH v2 2/9] gnu: racket: Fix out-of-source build., Liliana Marie Prikler, 2022/05/08
- [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 <=
- [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 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