Jon Gjengset
88948e0ee3
Include span label in rust lints ( #601 )
...
* Include span label in rust lints
This turns relatively unhelpful error messages like
mismatched types
into more expressive messages along the lines of
mismatched types: expected bool, found integral variable
Fixes #597 .
* Exclude rust lint span label if empty
* Use single-quoted strings in vimscript
* Add test for detailed rust errors
* Prune Cargo JSON
* Use matching error file name
* Byte offsets not char offsets
2017-05-31 18:16:49 +01:00
..
2017-05-12 20:38:52 +01:00
2017-05-18 09:31:12 +01:00
2017-03-29 00:56:39 +01:00
2017-05-25 22:34:59 +01:00
2017-05-22 12:59:40 +01:00
2017-02-10 22:47:56 +00:00
2017-05-31 18:16:49 +01:00
2017-05-12 20:38:52 +01:00
2017-05-05 10:05:53 +01:00
2017-05-22 10:01:41 +01:00
2017-01-20 17:30:34 +00:00
2017-05-08 22:59:25 +01:00
2017-05-12 21:16:15 +01:00
2017-05-20 19:02:36 +01:00
2017-05-30 22:15:24 +01:00
2017-05-27 23:51:27 +01:00
2017-05-30 21:32:51 +01:00
2017-02-28 09:10:58 +00:00
2017-05-20 19:02:36 +01:00
2017-05-30 22:15:24 +01:00
2016-10-24 20:21:42 +01:00
2017-04-30 22:38:28 +02:00
2017-02-11 15:16:08 +00:00
2017-05-12 21:16:15 +01:00
2017-05-12 20:38:52 +01:00
2017-05-08 22:59:25 +01:00
2017-05-21 19:51:34 +01:00
2017-05-26 21:21:15 +01:00
2017-02-09 23:32:57 +00:00
2017-05-26 10:02:48 +01:00
2017-02-13 10:36:38 +00:00
2017-04-17 23:29:02 +01:00
2017-05-08 22:59:25 +01:00
2017-04-05 18:21:47 +01:00
2017-05-17 11:17:49 +01:00
2017-05-06 23:33:38 +01:00
2016-10-24 20:21:42 +01:00
2017-04-18 00:35:53 +01:00
2017-02-13 00:24:25 +00:00
2017-05-31 13:14:39 +01:00
2017-05-31 13:14:39 +01:00
2017-05-12 21:16:15 +01:00
2017-05-20 12:50:19 +01:00
2017-04-30 10:09:26 +01:00
2017-05-27 21:27:42 +01:00
2017-05-27 21:27:42 +01:00
2017-05-27 23:51:27 +01:00
2017-05-31 10:27:35 +01:00
2017-03-24 10:39:37 -07:00
2017-04-16 01:24:08 +01:00
2016-10-14 20:34:21 +01:00
2017-05-31 13:14:39 +01:00
2017-03-07 23:31:25 +00:00
2016-10-14 20:34:21 +01:00
2017-04-17 23:29:02 +01:00
2017-04-29 18:03:08 +01:00
2017-05-05 23:03:19 +01:00
2017-05-26 15:59:43 +01:00
2017-04-17 23:29:02 +01:00
2017-05-25 17:23:21 +01:00
2017-02-06 11:12:27 +00:00
2017-03-09 00:43:53 +00:00
2017-05-21 18:58:26 +01:00
2017-05-31 10:01:46 +01:00
2017-02-10 09:45:42 +00:00
2017-05-12 21:16:15 +01:00
2017-05-26 00:06:16 +01:00
2017-04-03 22:24:30 +01:00