Alisdair McDiarmid
c87c0a9d2a
command/format: Fix empty overlap diagnostics
...
Diagnostics where the highlight range has an empty overlap with a line
would skip lines of the output. This is because if two ranges abut each
other, they can be considered to overlap, but that overlap is empty.
This results in an edge case in the diagnostic printer which causes the
line not to be printed.
2020-06-05 16:17:27 -04:00
..
2020-05-19 15:32:36 -04:00
2018-10-16 19:11:09 -07:00
2020-06-01 14:49:43 -07:00
2020-06-05 16:17:27 -04:00
2020-04-06 09:24:23 -07:00
2020-04-06 09:24:23 -07:00
2020-04-06 09:24:23 -07:00
2020-04-30 09:22:15 -04:00
2020-05-28 09:24:32 -04:00
2020-02-13 15:02:40 -05:00
2020-03-19 08:01:16 -04:00
2020-06-01 16:12:30 -04:00
2020-05-28 09:24:32 -04:00
2020-06-04 08:51:24 -04:00
2020-04-06 09:24:23 -07:00
2020-04-06 09:24:23 -07:00
2020-04-01 15:01:08 -04:00
2017-12-05 10:24:04 -08:00
2018-10-16 19:11:09 -07:00
2014-07-12 20:59:16 -07:00
2015-04-29 13:07:13 -05:00
2020-05-28 09:24:32 -04:00
2018-08-03 22:22:55 +02:00
2016-11-14 00:32:01 -08:00
2018-10-16 18:46:46 -07:00
2020-04-30 09:21:42 -04:00
2020-04-01 15:01:08 -04:00
2016-11-21 11:59:20 -05:00
2016-12-10 14:30:40 -05:00
2019-10-02 15:10:21 -07:00
2020-03-26 14:00:26 -04:00
2020-04-01 15:01:08 -04:00
2019-01-17 16:52:34 -08:00
2020-04-01 15:01:08 -04:00
2020-04-06 09:24:23 -07:00
2020-04-01 15:01:08 -04:00
2019-01-14 11:33:21 -08:00
2019-08-06 14:24:24 -04:00
2020-05-21 16:02:18 -04:00
2020-04-06 09:24:23 -07:00
2020-04-01 15:01:08 -04:00
2020-05-28 09:24:32 -04:00
2020-05-28 09:24:32 -04:00
2019-06-10 15:31:21 -04:00
2020-04-06 09:24:23 -07:00
2019-12-05 15:00:51 -08:00
2020-02-04 17:24:25 -05:00
2020-05-05 09:58:48 -07:00
2020-02-06 15:00:55 -05:00
2020-04-01 15:01:08 -04:00
2019-05-24 14:51:18 -04:00
2020-04-01 15:01:08 -04:00
2020-01-07 15:07:06 -05:00
2019-12-06 10:20:23 -05:00
2019-07-18 16:11:41 -04:00
2020-05-26 17:48:57 -07:00
2020-04-01 15:01:08 -04:00
2019-10-02 15:10:21 -07:00
2020-05-26 17:48:57 -07:00
2019-11-06 16:26:32 -08:00
2020-04-01 15:01:08 -04:00
2020-04-21 16:29:27 -04:00
2020-04-01 15:01:08 -04:00
2018-03-28 13:08:38 -04:00
2018-01-16 18:05:26 -08:00
2020-04-06 09:24:23 -07:00
2020-04-06 09:24:23 -07:00
2020-06-01 14:49:43 -07:00
2020-04-06 09:24:23 -07:00
2020-04-01 15:01:08 -04:00
2020-04-10 15:08:10 -04:00
2020-04-10 15:08:10 -04:00
2018-10-16 18:24:47 -07:00
2020-05-14 15:46:08 -04:00
2020-06-04 10:24:53 -04:00
2020-05-14 15:46:08 -04:00
2020-05-29 07:36:40 -07:00
2017-02-28 16:35:46 -05:00
2018-10-19 16:31:12 +02:00
2020-04-01 15:01:08 -04:00
2020-04-02 08:15:52 -04:00
2020-04-30 09:22:15 -04:00
2020-04-30 09:22:15 -04:00
2018-11-19 09:02:35 -08:00
2020-04-01 15:01:08 -04:00
2018-11-20 11:15:16 +01:00
2020-04-01 15:01:08 -04:00
2020-04-02 08:15:52 -04:00
2020-04-23 11:41:57 -04:00
2020-03-11 14:19:52 -04:00
2020-04-01 15:01:08 -04:00
2020-04-06 09:24:23 -07:00
2020-04-01 15:01:08 -04:00
2018-10-16 19:14:11 -07:00
2020-03-11 14:19:52 -04:00
2020-04-01 15:01:08 -04:00
2019-04-29 15:15:26 +02:00
2019-04-29 15:15:26 +02:00
2019-03-12 17:57:26 -04:00
2020-04-01 15:01:08 -04:00
2020-03-11 14:19:52 -04:00
2020-04-01 15:01:08 -04:00
2019-06-18 17:37:24 -07:00
2020-04-01 15:01:08 -04:00
2014-05-24 12:04:43 -07:00
2020-04-06 09:24:23 -07:00
2020-03-11 14:19:52 -04:00
2020-04-01 15:01:08 -04:00
2020-04-01 15:01:08 -04:00
2020-04-01 15:01:08 -04:00
2020-04-01 15:01:08 -04:00
2020-04-01 15:01:08 -04:00
2020-04-01 15:01:08 -04:00