From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:39224) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gVchD-00041l-4r for guix-patches@gnu.org; Sat, 08 Dec 2018 08:31:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gVchC-0006uK-H3 for guix-patches@gnu.org; Sat, 08 Dec 2018 08:31:03 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:33511) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gVchC-0006uG-Dh for guix-patches@gnu.org; Sat, 08 Dec 2018 08:31:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gVchC-0008Ve-7c for guix-patches@gnu.org; Sat, 08 Dec 2018 08:31:02 -0500 Subject: [bug#33575] [PATCH] guix: lint: Add checker to check if inputs are sorted. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20181202074210.31361-1-arunisaac@systemreboot.net> <87y3967n3z.fsf@gnu.org> <87woopk639.fsf@nckx> Date: Sat, 08 Dec 2018 14:29:57 +0100 In-Reply-To: <87woopk639.fsf@nckx> (Tobias Geerinckx-Rice's message of "Tue, 04 Dec 2018 10:13:14 +0100") Message-ID: <87zhtg87u2.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Tobias Geerinckx-Rice Cc: 33575@debbugs.gnu.org Hello, Tobias Geerinckx-Rice skribis: > Ludovic Court=C3=A8s wrote: [...] >> As for the goal itself, I think sorting is a good idea when >> there are >> lots of inputs (things like IceCat), but otherwise I personally >> don't >> think it matters that much. > > Do we already check for duplication? No but it would be a worthy check! Ludo=E2=80=99.