From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:44523)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jCRjb-0006ja-Fh
 for guix-patches@gnu.org; Thu, 12 Mar 2020 13:35:04 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jCRja-0005ZW-4Z
 for guix-patches@gnu.org; Thu, 12 Mar 2020 13:35:03 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:51789)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1jCRja-0005ZK-04
 for guix-patches@gnu.org; Thu, 12 Mar 2020 13:35:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jCRjZ-0003JC-Td
 for guix-patches@gnu.org; Thu, 12 Mar 2020 13:35:01 -0400
Subject: bug#39945: [PATCH 0/1] Introducing 'with-parameters' for gexp dynamic
 binding
Resent-To: guix-patches@gnu.org
Resent-Message-ID: <handler.39945.D39945.158403445312646.done@debbugs.gnu.org>
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
References: <20200306104108.19503-1-ludo@gnu.org> <87pndpeo8d.fsf@gmail.com>
Date: Thu, 12 Mar 2020 18:34:03 +0100
In-Reply-To: <87pndpeo8d.fsf@gmail.com> (Mathieu Othacehe's message of "Fri,
 06 Mar 2020 12:06:58 +0100")
Message-ID: <87eetxqxys.fsf@gnu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Mathieu Othacehe <m.othacehe@gmail.com>
Cc: 39945-done@debbugs.gnu.org

Hi Mathieu,

Mathieu Othacehe <m.othacehe@gmail.com> skribis:

>> Thoughts?
>>
>> Besides, =E2=80=98with-parameters=E2=80=99 is the dual of what was discu=
ssed at
>> <https://issues.guix.gnu.org/issue/29296>.
>
> Super nice! Maybe you could add a test-case involving
> %current-target-system but otherwise this LGTM.

Done and pushed as cf2ac04f13d9266c7c8a2ebd2e85ef593231ac9d.

> Do you think we could use this to get around this issue we discussed
> there:
> https://lists.gnu.org/archive/html/guix-devel/2019-12/msg00099.html.

It could be use to achieve the same result as the <native-qemu> package
you proposed:

  #~(=E2=80=A6 #+(with-parameters ((%current-system %system)) qemu) =E2=80=
=A6)

However, the issue I mentioned before with this approach remain:

  [=E2=80=A6] now the result of:

    guix system build -s armhf-linux -d =E2=80=A6

  would be dependent on the actual system type.  In other words, the
  result would be different if you run it on armhf-linux, if you run it on
  x86_64-linux, or if you run it on i686-linux.  Not great.

Thanks for your feedback!

Ludo=E2=80=99.