[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35790] [PATCH] scripts: lint: Handle warnings with a record type.
From: |
Ludovic Courtès |
Subject: |
[bug#35790] [PATCH] scripts: lint: Handle warnings with a record type. |
Date: |
Thu, 20 Jun 2019 13:40:38 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Hi!
Christopher Baines <address@hidden> skribis:
> Ludovic Courtès <address@hidden> writes:
[...]
>> One question I have: before, warnings would be emitted as we go; now, we
>> first collect all the warnings for a given package, and emit all of them
>> at once. How does it look in terms of UX?
>
> Not quite, warnings are emitted once returned from each checker for each
> package. The display will only be delayed if a checker takes a long time
> to return the warnings, which I don't think happens (or at least happens
> much).
True, so that shouldn’t be much of an issue I guess.
Ludo’.
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Christopher Baines, 2019/06/01
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Christopher Baines, 2019/06/01
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Christopher Baines, 2019/06/16
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Ludovic Courtès, 2019/06/20
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Christopher Baines, 2019/06/24
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Ludovic Courtès, 2019/06/24
- [bug#35790] [PATCH] scripts: lint: Handle warnings with a record type., Ludovic Courtès, 2019/06/24