From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id ePszK/vw12QDNAAASxT56A (envelope-from ) for ; Sat, 12 Aug 2023 22:52:11 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id CKg9K/vw12Ta7AAAauVa8A (envelope-from ) for ; Sat, 12 Aug 2023 22:52:11 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 4DC4559FAE for ; Sat, 12 Aug 2023 22:52:11 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=mlKu+4Cq; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1691873531; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=kYzncdNjWKwjXAFxKqkQ62qmJPQj78ZKpvTx8vR2WHY=; b=UWr/ewUUtwMNHibA0n9VvJbE41SvnkRIDAJFaY+2rwkEFLRmSSE3SJ54oYA3MwVu8s1j/v KxHKkenjOamd5VXAhLfI+ZzHI2wQeWUi8omwKSRJPcVCg2Uxk4faLc9BorcWrPu3ubcQ0a STiiTNBfPXIqr+IVqBAmk/trNBtzda+cHz0jRGmP6c/WdcXKs5ZcCrHp/oCkiK0JiNd3hk Wk8hY+Vm9t5krFXRKase/qU5tbc54Ch3w68MdfdlT1bUSCfPa7i/YJmRTX1+5Ds28HRBp3 9YuD+rGxr75J5EYiVvsUG9khcpnkrn4wVzBTGgyVGxjniSfiBtsF9MaqTHmbvA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=mlKu+4Cq; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1691873531; a=rsa-sha256; cv=none; b=saTYPX2P6HWnrwvfMtH4Wo3xYN1/goZz5JMGMweZ4H5GMmsJ5z91NjN4PcgpLQMgG1glKJ 8wdbbVFP+bpedbSv6naGdE7uT98+4pAxI73v6ywo/9wNUIsx87nzDW6IUlrtx5IdDLJRRD V2jppzSuf3epy3O3mDx9B7V7YUUWgm3A/RT1FD84gUaNZDNo1xcWDfoElt7uzW1rm4Ep91 IMkGeilfk8ocbYkLBh2RyqLwiEqCYCxv32soE9AsBIAjl6gPQFPBtytqY0Zv9iT8w7V03i mk3Z3NgqSFAsqbxIDmLSehW6l+NSc5veu8kdpbM+sEF0aYfvhy+5G0YLBIsqbQ== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qUvae-0006GH-Ib; Sat, 12 Aug 2023 16:52:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qUvad-0006Fx-69 for bug-guix@gnu.org; Sat, 12 Aug 2023 16:52:03 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qUvac-0003Kd-AE for bug-guix@gnu.org; Sat, 12 Aug 2023 16:52:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qUvac-0002zR-6d for bug-guix@gnu.org; Sat, 12 Aug 2023 16:52:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#65225: [PATCH] environment: Build the profile for the requested system. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 12 Aug 2023 20:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65225 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Josselin Poiret Cc: Christopher Baines , Simon Tournier , Mathieu Othacehe , Tobias Geerinckx-Rice , 65225@debbugs.gnu.org, Ricardo Wurmus Received: via spool by 65225-submit@debbugs.gnu.org id=B65225.169187351311477 (code B ref 65225); Sat, 12 Aug 2023 20:52:02 +0000 Received: (at 65225) by debbugs.gnu.org; 12 Aug 2023 20:51:53 +0000 Received: from localhost ([127.0.0.1]:57564 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qUvaT-0002z2-1l for submit@debbugs.gnu.org; Sat, 12 Aug 2023 16:51:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41906) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qUvaQ-0002yp-8E for 65225@debbugs.gnu.org; Sat, 12 Aug 2023 16:51:51 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qUvaK-0003IW-AT; Sat, 12 Aug 2023 16:51:44 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=kYzncdNjWKwjXAFxKqkQ62qmJPQj78ZKpvTx8vR2WHY=; b=mlKu+4CqwWUw98JFonSW wbSF3XigIPiRGzI3OQ1iJsvI34QQof0g232zJhIcDDOoq/ktAbInQvIeG82ys9ALh9IHf7c6TD3gp wbT+wZEv4DCAMBbc/5vUmtaUAkcRqELwCnUjUq2XhS1i1wGiODM7y5vWL/YbrLWjN5tvMd0S7VSMy jq52FgEYB199zAKLiAaEaVNEvNvo7HJyXoZ1k0FIrnb/jgYgiBgHqjDjW9MGtKaXZVC86DqpWHUyv pXq3x9dL918yTGetEUkhiSBHS8ce1K0js+wwwlzrwv8TCbBsQ01gkVLv7bE2Z0n/Ta6iLDiUWWFS4 We8td7gNoxAL0Q==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <2f29e4cbc33a82509a5980bc5ddd5f8ae53cf113.1691280000.git.me@tobias.gr> <871qg8o8hi.fsf@jpoiret.xyz> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Quintidi 25 Thermidor an 231 de la =?UTF-8?Q?R=C3=A9volution, ?= jour de la Loutre X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 12 Aug 2023 22:51:41 +0200 In-Reply-To: <871qg8o8hi.fsf@jpoiret.xyz> (Josselin Poiret's message of "Sat, 12 Aug 2023 12:33:45 +0200") Message-ID: <87bkfcdlwi.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Spam-Score: -4.63 X-Migadu-Queue-Id: 4DC4559FAE X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -4.63 X-TUID: FyN+G2jeu21E Hi, Josselin Poiret skribis: > IMO, this is way too complicated to keep in mind at all times, and there > are bugs lurking under the surface absolutely everywhere, waiting for a > corner case to be uncovered. Great writeup! Yeah, that=E2=80=99s the sad situation of mixing parameters= and monads; it=E2=80=99s a longstanding issue and as you write, there have been bugs. The solution to these has been primarily to avoid relying on default values and pass explicit values. The other trick is what =E2=80=98lower-gexp=E2=80=99 does, with the comment you quoted, or what =E2=80=98gexp->derivation=E2=80=99 does. The good news is that the monadic interface is kept internal and not really exposed to users, who should stick to file-like objects as much as possible. Back to profile hooks: it seems that passing #:system #f to =E2=80=98gexp->derivation=E2=80=99 in each of these hooks would solve the p= roblem, no? Alternatively, each hook could take =E2=80=98system=E2=80=99 as a second ar= gument. Willing to give it a shot? Thanks, Ludo=E2=80=99.