From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:51617) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hhLTy-0000TG-KW for guix-patches@gnu.org; Sat, 29 Jun 2019 18:06:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hhLTw-0007Pp-NK for guix-patches@gnu.org; Sat, 29 Jun 2019 18:06:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59709) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hhLTu-0007Oi-6X for guix-patches@gnu.org; Sat, 29 Jun 2019 18:06:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hhLTt-0005o5-Ui for guix-patches@gnu.org; Sat, 29 Jun 2019 18:06:02 -0400 Subject: [bug#36404] [PATCH 4/6] Export the (gnu machine) interface. Resent-Message-ID: References: <87o92ianbj.fsf@sdf.lonestar.org> <87imsqan66.fsf@sdf.lonestar.org> <87ef3ean4i.fsf_-_@sdf.lonestar.org> <87a7e2an3h.fsf_-_@sdf.lonestar.org> <875zoqan2e.fsf_-_@sdf.lonestar.org> From: Ricardo Wurmus In-reply-to: <875zoqan2e.fsf_-_@sdf.lonestar.org> Date: Sun, 30 Jun 2019 00:04:53 +0200 Message-ID: <87a7e0vyii.fsf@elephly.net> 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: zerodaysfordays@sdf.lonestar.org Cc: 36404@debbugs.gnu.org Hi Jakob, > This is so machine declarations can have a simple (use-modules (gnu)) > rather than having to import the machine module explicitly. Do we need this at all or could =E2=80=9Cguix deploy=E2=80=9D evaluate the = machine declaration in an environment where the machine module is available? We do something like that for evaluating manifests =E2=80=93 no module relatin= g to manifest loading needs to be specified by users and yet =E2=80=9Cspecifications->manifest=E2=80=9D is available. Would it make sense to do something similar here instead of exporting (gnu machine) in (gnu)? --=20 Ricardo