[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#58231] [PATCH 0/2] Checking the 'license' field of packages
From: |
Ludovic Courtès |
Subject: |
[bug#58231] [PATCH 0/2] Checking the 'license' field of packages |
Date: |
Sat, 1 Oct 2022 18:19:11 +0200 |
Hello Guix!
We already have ‘guix lint -c license’ but that hasn’t prevented
us from occasionally having invalid licenses committed. This patch
adds add a ‘sanitize’ option to the ‘license’ field of <package> to
detect invalid licenses early on, as zimoun suggested at:
https://lists.gnu.org/archive/html/guix-devel/2022-09/msg00067.html
The funny part of this patch is that the license validation expands
to #t in the majority of cases, meaning that it comes without
run-time overhead (there is macro-expansion overhead, but I didn’t
measure it). Kinda like static type checking, except that we can
only tell when a value is definitely a valid license and cannot
conclude in other cases.
Feedback welcome!
Thanks,
Ludo’.
Ludovic Courtès (2):
licenses: Let 'license?' expand to #t in trivial cases.
packages: Raise an exception for invalid 'license' values.
guix/licenses.scm | 58 +++++++++++++++++++++++++++++++++++++++-------
guix/packages.scm | 40 +++++++++++++++++++++++++++++++-
tests/packages.scm | 7 ++++++
3 files changed, 95 insertions(+), 10 deletions(-)
base-commit: d9b7982ba58fdea0934b60a81f507440a56c82ee
--
2.37.3
- [bug#58231] [PATCH 0/2] Checking the 'license' field of packages,
Ludovic Courtès <=
[bug#58231] [PATCH 0/2] Checking the 'license' field of packages, pelzflorian (Florian Pelz), 2022/10/08
[bug#58231] [PATCH 0/2] Checking the 'license' field of packages, Ludovic Courtès, 2022/10/10
bug#58231: Heads-up: Run “make clean-go && make”, Ludovic Courtès, 2022/10/10