Nicholas Nethercote
618409901a
Fewer early errors.
...
`build_session` is passed an `EarlyErrorHandler` and then constructs a
`Handler`. But the `EarlyErrorHandler` is still used for some time after
that.
This commit changes `build_session` so it consumes the passed
`EarlyErrorHandler`, and also drops it as soon as the `Handler` is
built. As a result, `parse_cfg` and `parse_check_cfg` now take a
`Handler` instead of an `EarlyErrorHandler`.
2023-12-06 09:12:22 +11:00
..
2023-12-02 09:01:34 +11:00
2023-12-04 02:24:10 +01:00
2023-12-02 13:38:47 +00:00
2023-12-03 16:24:56 +03:00
2023-12-02 02:48:34 +00:00
2023-11-29 12:34:47 +01:00
2023-12-02 09:01:35 +11:00
2023-11-15 19:41:28 -05:00
2023-12-02 02:48:34 +00:00
2023-12-02 02:48:34 +00:00
2023-11-25 13:08:29 +00:00
2023-11-26 08:38:40 +11:00
2023-12-03 08:11:15 +01:00
2023-12-04 21:19:45 +09:00
2023-12-04 20:46:09 +01:00
2023-11-29 18:00:03 +03:00
2023-11-15 19:41:28 -05:00
2023-12-01 00:08:04 +00:00
2023-11-28 20:40:38 +00:00
2023-11-26 08:37:27 +11:00
2023-12-02 09:01:34 +11:00
2023-12-02 09:01:35 +11:00
2023-12-02 02:48:34 +00:00
2023-11-26 08:38:02 +11:00
2023-11-23 14:11:02 +03:00
2023-12-03 16:24:56 +03:00
2023-12-02 09:01:19 +11:00
2023-11-29 03:58:29 +01:00
2023-12-03 18:57:49 +00:00
2023-12-02 09:01:34 +11:00
2023-11-22 18:38:17 +11:00
2023-11-27 09:37:01 +11:00
2023-12-04 10:40:36 +01:00
2023-12-06 09:12:22 +11:00
2023-12-02 02:48:34 +00:00
2023-12-01 12:10:07 +08:00
2023-12-01 21:45:18 +00:00
2023-11-11 15:24:33 +01:00
2023-11-21 05:49:45 +00:00
2023-12-02 09:01:35 +11:00
2023-12-03 16:24:56 +03:00
2023-12-04 07:06:36 +00:00
2023-11-27 10:35:43 +11:00
2023-12-05 02:36:50 +00:00
2023-11-26 21:05:08 +08:00
2023-12-03 03:05:17 +00:00
2023-11-15 14:55:35 +00:00
2023-12-02 09:01:19 +11:00
2023-12-02 02:48:34 +00:00
2023-11-27 18:13:15 +03:00
2023-12-02 09:01:35 +11:00
2023-12-03 16:24:56 +03:00
2023-11-22 22:49:22 -05:00
2023-12-06 09:12:22 +11:00
2023-12-01 16:22:06 -08:00
2023-12-02 09:01:19 +11:00
2023-12-03 16:24:56 +03:00
2023-11-28 10:39:37 +09:00
2023-12-04 21:19:43 +09:00
2023-11-22 21:09:01 +00:00
2023-11-22 08:13:21 +11:00
2023-12-04 21:19:45 +09:00
2023-11-22 21:09:01 +00:00
2023-12-01 16:22:06 -08:00