guix-patches
[Top][All Lists]
Advanced

[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’.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]