Ludovic Courtès c9cded0955
style: Correctly read dots in pairs and improper lists. ...
Until now dots were read as symbols.
* guix/scripts/style.scm (read-with-comments)[dot]: New variable.
[dot?, reverse/dot]: New procedures.
Use 'reverse/dot' instead of 'reverse' when reading lists.
* tests/style.scm ("read-with-comments: dot notation")
("((a . 1) (b . 2))", "(a b c . boom)"): New tests.
2022-04-14 14:48:20 +02:00
2021-12-22 10:53:19 +01:00
2021-08-02 17:23:30 -04:00
2022-03-16 15:48:52 +01:00
2022-01-10 11:44:29 -05:00
2021-09-17 01:27:40 +02:00
2021-01-16 11:51:03 +00:00
2022-02-14 11:23:08 +01:00
2021-12-18 04:09:47 +01:00
2021-01-13 22:42:49 +01:00
2020-12-21 17:47:35 +01:00
2022-03-07 22:49:27 +01:00
2021-11-17 23:43:14 +01:00
2021-12-18 22:51:55 +01:00
2021-07-18 02:10:49 -04:00
2021-07-20 23:43:29 +02:00
2022-03-13 23:20:07 +01:00
2022-02-14 11:23:08 +01:00
2022-02-14 11:23:07 +01:00
2020-12-09 22:25:17 +01:00
2021-05-28 23:04:44 +02:00
2021-09-28 22:00:47 +02:00
2021-04-15 03:22:55 -04:00
2022-02-05 08:02:30 +01:00
2022-01-16 20:21:27 -08:00
2020-12-15 17:32:09 +01:00
2021-12-22 10:53:19 +01:00
2022-02-18 14:14:38 +01:00
2021-10-25 19:02:32 +02:00
2021-10-31 14:49:47 +02:00
2022-02-14 11:23:08 +01:00
2022-01-16 23:56:56 +01:00
2022-01-04 20:37:29 -05:00
2022-03-19 18:51:09 +01:00
2021-02-22 12:07:45 +01:00
2020-12-04 13:12:08 +00:00
2022-02-18 14:14:38 +01:00
2022-01-19 22:07:54 +01:00
2022-02-18 14:14:38 +01:00
2022-04-08 18:14:35 +02:00
2022-02-18 14:14:38 +01:00
2022-02-18 14:14:38 +01:00
2021-12-05 19:17:41 +01:00
2022-03-20 19:02:41 +01:00
2022-03-06 22:49:46 +01:00
2021-09-18 19:37:45 +02:00
2022-03-07 22:49:27 +01:00
2021-09-01 23:41:42 +02:00
2021-05-15 12:14:47 +01:00
2021-04-12 18:42:22 +02:00
2022-03-29 14:43:14 +03:00
2022-01-06 16:27:30 +01:00
2021-12-23 10:54:00 +01:00
2021-11-16 14:34:28 +01:00
2021-01-16 23:30:59 +01:00
2021-11-18 22:56:10 +01:00
2021-12-22 10:53:19 +01:00
2021-07-18 19:50:01 +02:00
2022-04-04 22:58:03 +02:00
2021-11-17 23:43:14 +01:00
2022-02-11 23:51:39 +01:00
2022-02-14 11:23:56 +01:00
2022-02-11 23:51:39 +01:00
2021-08-12 12:34:13 +02:00
2022-04-10 01:24:30 +02:00
2021-01-31 21:49:58 +01:00
2021-11-16 14:34:28 +01:00
2021-12-05 19:17:41 +01:00
2022-04-14 14:48:20 +02:00
2022-02-14 11:23:56 +01:00
2021-01-21 11:22:08 +01:00
2021-10-26 12:46:27 +02:00
2021-08-29 01:05:26 -04:00
2022-01-13 23:11:19 +01:00
2022-01-01 15:23:24 +01:00
2022-01-05 21:17:58 +01:00
2021-11-07 01:38:23 -04:00
c9cded0955