From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 1/2] scripts: add guix lint Date: Tue, 22 Jul 2014 17:26:05 +0200 Message-ID: <877g359zzm.fsf@gnu.org> References: <1405986718-26208-1-git-send-email-tipecaml@gmail.com> <1405986718-26208-2-git-send-email-tipecaml@gmail.com> <87lhrlepej.fsf@gnu.org> <87y4vlo47n.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:57517) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9bxQ-0001gF-EA for guix-devel@gnu.org; Tue, 22 Jul 2014 11:26:33 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9bxH-0003f0-6M for guix-devel@gnu.org; Tue, 22 Jul 2014 11:26:24 -0400 Received: from hera.aquilenet.fr ([2a01:474::1]:38121) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9bxG-0003eb-Ui for guix-devel@gnu.org; Tue, 22 Jul 2014 11:26:15 -0400 In-Reply-To: <87y4vlo47n.fsf@gmail.com> (Eric Bavier's message of "Tue, 22 Jul 2014 09:31:08 -0500") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Eric Bavier Cc: guix-devel@gnu.org Eric Bavier skribis: > Would it make sense to have 'guix lint' operate at the file/module level > instead of at the package level? You really mean at the syntactic level, no? > That would be consistent with other lint-type tools, as far as I know. > It would also, I think, help with things like syntax errors that > currently result in 'guix build' reporting something like "guix build: > error: foo: unknown package". Normally you get more details about that when typing =E2=80=98make=E2=80=99= (or C-c C-k in Geiser.) Detecting that would amount to doing the job of the compiler and module system, basically. Ludo=E2=80=99.