From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45551) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fTiuv-0006Qh-Gr for guix-patches@gnu.org; Fri, 15 Jun 2018 03:13:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fTiuu-00049r-Ho for guix-patches@gnu.org; Fri, 15 Jun 2018 03:13:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:40900) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fTiuu-00049g-Dn for guix-patches@gnu.org; Fri, 15 Jun 2018 03:13:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fTius-0000ks-CT for guix-patches@gnu.org; Fri, 15 Jun 2018 03:13:04 -0400 Subject: [bug#31416] [PATCH 3/4] bootloader: Add make-u-boot-bootloader. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20180511143515.23435-1-dannym@scratchpost.org> <20180511143652.26935-1-dannym@scratchpost.org> <20180511143652.26935-3-dannym@scratchpost.org> <87603rnbi5.fsf@gnu.org> <20180513125925.66a91367@scratchpost.org> <87in7qbppv.fsf@gnu.org> <20180514182953.3d4c4f3c@scratchpost.org> Date: Fri, 15 Jun 2018 09:12:31 +0200 In-Reply-To: <20180514182953.3d4c4f3c@scratchpost.org> (Danny Milosavljevic's message of "Mon, 14 May 2018 18:29:53 +0200") Message-ID: <87r2l8wmjk.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: Danny Milosavljevic Cc: 31416@debbugs.gnu.org Hi Danny, Apologies for dropping the ball! Danny Milosavljevic skribis: > Still to do: bikeshedding the name :) > > What about > > (define-record > soc installation-procedure > ...) > > (I think as record name would be weird, no?) I think is too vague and it sounds like it=E2=80=99s basically a procedure, which it=E2=80=99s not. would be fine IMO, or if we want. > Or just a hash table soc -> installation-procedure ? > > How does the instantiation of the table data look? Just toplevel stateme= nts? I've caused problems with those before :) I think we need a table to look things up by name anyway, but we may also need a record type: I suppose we=E2=80=99d want to describe things in = that record. For the lookup table itself, see for example =E2=80=98file-system-type-modu= les=E2=80=99 in (gnu system linux-initrd). > Where do we put it? gnu/bootloader/u-boot.scm ? Sounds like the right place, yes. Thanks, Ludo=E2=80=99.