[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitabl
From: |
Josselin Poiret |
Subject: |
[bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found. |
Date: |
Sun, 15 Jan 2023 14:57:09 +0100 |
Hi Maxim,
This looks good to me, although in the grand scheme of things I wonder
if that change is a step forward: for those kinds of procedures, we
could expect consumers to instead always properly handle the #f case
themselves, rather than baby-sitting them and systematically relying on
exceptions in the parent procedure, no? As a caricatural example: the
SRFI-1 `find` could raise an exception instead of returning #f, but I
don't think anyone would consider that proper behaviour.
I don't have a particularly strong opinion towards either option, which
probably means that there's some discussion to be had here.
Best,
--
Josselin Poiret
- [bug#60802] [PATCH 2/2] gnu: Remove u-boot-malta., (continued)
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found., Maxim Cournoyer, 2023/01/14
- [bug#60802] [PATCH v3 2/2] gnu: Remove u-boot-malta., Maxim Cournoyer, 2023/01/14
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found.,
Josselin Poiret <=
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found., Maxim Cournoyer, 2023/01/15
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found., Simon Tournier, 2023/01/16
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found., Ludovic Courtès, 2023/01/17
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found., Simon Tournier, 2023/01/17
- [bug#60802] [PATCH v3 1/2] platforms: Raise an exception when no suitable platform is found., Maxim Cournoyer, 2023/01/17
[bug#60802] [PATCH v4 0/2] Remove unsupported u-boot-malta package, Maxim Cournoyer, 2023/01/17