Ludovic Courtès
b6bc4c109b
packages: Raise an exception for invalid 'license' values.
...
This is written in such a way that the type check turns into a no-op at
macro-expansion time for trivial cases:
> ,optimize (validate-license gpl3+)
$18 = gpl3+
> ,optimize (validate-license (list gpl3+ gpl2+))
$19 = (list gpl3+ gpl2+)
* guix/packages.scm (valid-license-value?, validate-license): New
macros.
(<package>)[license]: Add 'sanitize' option.
(&package-license-error): New error condition type.
* tests/packages.scm ("license type checking"): New test.
2022-10-10 11:16:07 +02:00
..
2022-09-26 23:29:37 +02:00
2022-09-24 17:59:05 +02:00
2022-10-05 23:59:48 +02:00
2022-09-24 14:49:07 +02:00
2022-10-04 16:46:33 +04:00
2022-05-20 20:42:53 +02:00
2022-08-09 15:58:14 +02:00
2021-09-21 15:15:52 +02:00
2022-05-31 14:54:02 -04:00
2022-06-04 12:04:23 +02:00
2022-10-04 18:15:35 +02:00
2021-12-19 16:25:51 +01:00
2022-04-19 18:07:49 +02:00
2021-12-20 16:21:40 +01:00
2021-09-23 18:17:16 +02:00
2022-05-17 15:19:41 +03:00
2022-04-12 20:32:32 +02:00
2022-03-07 22:49:27 +01:00
2022-05-31 14:52:14 -04:00
2021-09-30 23:44:49 +02:00
2021-11-23 10:24:27 +01:00
2022-09-26 23:29:36 +02:00
2022-08-28 21:14:18 -04:00
2022-02-14 11:23:08 +01:00
2022-04-20 23:46:43 +02:00
2022-02-14 11:23:07 +01:00
2022-10-03 11:16:13 -04:00
2021-11-18 14:41:53 -05:00
2022-03-18 16:03:33 +01:00
2022-01-06 16:27:30 +01:00
2022-05-22 01:07:52 +02:00
2022-07-08 13:51:34 +01:00
2022-06-10 23:52:34 -04:00
2022-10-10 11:16:06 +02:00
2022-09-26 23:29:36 +02:00
2022-03-02 00:00:55 -05:00
2022-07-15 17:36:57 +02:00
2022-07-10 23:57:14 +02:00
2022-09-24 17:59:04 +02:00
2022-10-10 11:16:07 +02:00
2022-09-07 14:24:52 +02:00
2022-08-31 12:34:10 +02:00
2021-12-12 14:12:15 +00:00
2022-10-02 22:27:55 +02:00
2021-10-28 21:30:27 +02:00
2022-09-08 16:22:21 +02:00
2022-08-01 00:02:04 +02:00
2022-08-10 16:53:58 +02:00
2022-06-26 23:19:14 +02:00
2022-09-04 23:10:10 +02:00
2021-12-12 00:27:53 +01:00
2021-11-23 11:29:38 +01:00
2021-10-15 23:16:28 +02:00
2022-02-14 11:23:07 +01:00
2022-10-02 22:14:45 +02:00
2022-08-16 21:25:25 +02:00
2022-07-19 18:54:41 +02:00
2022-08-05 00:14:30 +02:00