Ludovic Courtès
05f3d34094
ui: Report key-and-arg exceptions correctly.
...
Fixes <https://bugs.gnu.org/42601 >.
Reported by Jan Wielkiewicz <tona_kosmicznego_smiecia@interia.pl>.
Regression introduced in efe037fc5cc3134bbc3ef4e36b49a3f788921b68
whereby errors like 'wrong-type-arg' would be improperly reported:
guix environment: error: Wrong type argument in position ~A (expecting ~A): ~S
See also commit a07d5e558b5403dad0a59776b950b6b02169c249.
* guix/ui.scm (call-with-error-handling): Move 'message-condition?'
clause after '&exception-with-kind-and-args' clause.
2020-08-05 22:28:28 +02:00
..
2020-07-17 04:21:22 +02:00
2020-07-17 09:45:19 +01:00
2020-07-25 19:11:36 +02:00
2020-08-03 17:18:37 +02:00
2020-07-28 14:10:28 +02:00
2020-06-16 16:10:46 +02:00
2019-12-15 00:34:05 +01:00
2019-09-05 18:33:30 +02:00
2020-03-22 16:49:47 +01:00
2020-07-25 19:11:37 +02:00
2020-06-15 15:34:19 +02:00
2020-02-24 11:01:52 +01:00
2020-07-05 03:15:08 +05:30
2019-05-06 23:21:33 +02:00
2020-07-25 19:11:37 +02:00
2019-09-05 18:33:30 +02:00
2020-01-12 00:19:09 +01:00
2020-02-03 15:45:44 +01:00
2019-12-29 18:24:54 +01:00
2020-07-25 19:11:36 +02:00
2020-07-05 16:07:59 +05:30
2019-09-16 10:25:31 +02:00
2020-07-20 23:25:10 +02:00
2020-05-25 23:00:30 +02:00
2020-07-25 19:11:37 +02:00
2020-07-10 00:11:00 +02:00
2020-07-23 00:22:25 +02:00
2020-07-21 17:50:44 +02:00
2020-04-17 23:36:47 +02:00
2020-06-06 23:28:48 +02:00
2020-05-11 23:30:55 +02:00
2019-09-05 18:33:30 +02:00
2020-01-03 16:06:26 +01:00
2020-07-25 19:11:36 +02:00
2020-07-20 23:25:10 +02:00
2020-05-15 12:27:22 +02:00
2020-08-01 08:30:57 +02:00
2020-01-16 23:14:05 +01:00
2020-06-18 14:48:17 +02:00
2020-06-23 23:39:42 +02:00
2020-07-13 16:49:12 +02:00
2020-07-25 19:11:36 +02:00
2020-03-22 16:49:47 +01:00
2020-07-24 18:56:25 +02:00
2020-04-08 00:05:45 +02:00
2020-07-25 19:11:37 +02:00
2020-03-19 15:14:08 +01:00
2020-07-12 10:07:59 +02:00
2020-07-10 00:11:00 +02:00
2020-01-24 23:56:43 +01:00
2020-07-25 19:11:37 +02:00
2020-04-19 13:27:06 +02:00
2020-06-26 16:19:53 +02:00
2019-11-13 22:49:47 +01:00
2020-07-10 00:11:00 +02:00
2020-05-22 01:29:39 +02:00
2020-08-05 22:28:28 +02:00
2020-07-27 13:35:49 +02:00
2020-07-25 19:11:36 +02:00