GNU logs - #75879, boring messages

Message sent to guix@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, bug-guix@HIDDEN:

Subject: bug#75879: with-parameters does not work generally for packages
Resent-From: David Elsing <david.elsing@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN, bug-guix@HIDDEN
Resent-Date: Sun, 26 Jan 2025 21:12:01 +0000
Resent-Message-ID: <handler.75879.B.173792588217954 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 75879 <at> debbugs.gnu.org
Cc: guix@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, zimon.toutoune@HIDDEN, me@HIDDEN
From: David Elsing <david.elsing@HIDDEN>
Date: Sun, 26 Jan 2025 21:11:07 +0000
Message-ID: <7yikq1p9g4.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="=-=-="
Received-SPF: pass client-ip=185.67.36.66;
 envelope-from=david.elsing@HIDDEN; helo=mout02.posteo.de
X-Spam_score_int: -43
X-Spam_score: -4.4
X-Spam_bar: ----
X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01,
 RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)

--=-=-=
Content-Type: text/plain

Hello,

I noticed that 'with-parameters' from (guix gexp) does not work with
Guile parameters used in package definitions. They are still set
in 'lower-object', but not anymore when the monadic procedure returned
by 'lower-object' is evaluated.

Attached is an example for a package wrapped by 'with-parameters', which
results in a file with "D" instead of "C" (it is not "A", because the
'arguments' field of <package> is thunked).

Is this intentional? I'm not really sure how (or whether) this should be
changed though.

Best,
David


--=-=-=
Content-Type: text/plain
Content-Disposition: inline; filename=test-parameter-package.scm

(use-modules
 (guix build-system trivial)
 (guix gexp)
 (guix derivations)
 (guix packages)
 (guix store)
 (gnu packages base))

(define %param
  (make-parameter "A"))

(define testp
  (package
    (name "testp")
    (version "0")
    (source #f)
    (build-system trivial-build-system)
    (arguments
     (list
      #:builder
      #~(let ((port (open-file (string-append #$output) "w")))
          (display (string-append #$(%param) "\n") port)
          (close-port port))))
    (home-page #f)
    (synopsis #f)
    (description #f)
    (license #f)))

(%param "B")

(define obj
  (with-parameters
      ((%param "C"))
    testp))

(%param "D")

obj

--=-=-=--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: David Elsing <david.elsing@HIDDEN>
Subject: bug#75879: Acknowledgement (with-parameters does not work
 generally for packages)
Message-ID: <handler.75879.B.173792588217954.ack <at> debbugs.gnu.org>
References: <7yikq1p9g4.fsf@HIDDEN>
X-Gnu-PR-Message: ack 75879
X-Gnu-PR-Package: guix
Reply-To: 75879 <at> debbugs.gnu.org
Date: Sun, 26 Jan 2025 21:12:01 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

As you requested using X-Debbugs-CC, your message was also forwarded to
  guix@HIDDEN, dev@HIDDEN, ludo@HIDDEN, othacehe@HIDDEN, zimon.=
toutoune@HIDDEN, me@HIDDEN
(after having been given a bug report number, if it did not have one).

Your message has been sent to the package maintainer(s):
 bug-guix@HIDDEN

If you wish to submit further information on this problem, please
send it to 75879 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
75879: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D75879
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guix@HIDDEN:

Subject: bug#75879: [bug#70895] [PATCH] grafts: Only compute necessary graft derivations.
Resent-From: David Elsing <david.elsing@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Fri, 31 Jan 2025 23:03:01 +0000
Resent-Message-ID: <handler.75879.B75879.17383645788446 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Cc: 75879 <at> debbugs.gnu.org
From: David Elsing <david.elsing@HIDDEN>
In-Reply-To: <874j1fc5lm.fsf@HIDDEN>
References: <20240512134301.2234-1-david.elsing@HIDDEN>
 <87zfs1921p.fsf@HIDDEN> <7ycyov5amj.fsf@HIDDEN>
 <87ikqbsp58.fsf@HIDDEN> <86sepetrtn.fsf@HIDDEN>
 <87h65tkqvx.fsf@HIDDEN> <7yldv3q3d1.fsf@HIDDEN>
 <87plk7aq27.fsf@HIDDEN> <7yfrl1pgcs.fsf@HIDDEN>
 <874j1fc5lm.fsf@HIDDEN>
Date: Fri, 31 Jan 2025 23:02:47 +0000
Message-ID: <86frky7fjc.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hello,

Ludovic Court=C3=A8s <ludo@HIDDEN> writes:

> Uh, looks like this is a real bug.  I=E2=80=99m surprised because we do h=
ave
> tests for that in =E2=80=98tests/gexp.scm=E2=80=99 (and it=E2=80=99s actu=
ally used in a few
> important places), but maybe they=E2=80=99re not exercising the right thi=
ng.

Yes indeed, 'with-parameters' is tested for %current-system and
%current-target-system, which are evaluated earlier as a special case in
the gexp-compiler of <parameterized>, and an additional parameter is
only tested by immediately evaluating it.

Best,
David

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 5 Feb 2025 14:53:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Feb 05 09:53:05 2025
Received: from localhost ([127.0.0.1]:49343 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1tfgm1-0006T5-Bo
	for submit <at> debbugs.gnu.org; Wed, 05 Feb 2025 09:53:05 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10]:42934)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1tfglz-0006SO-Su
 for control <at> debbugs.gnu.org; Wed, 05 Feb 2025 09:53:04 -0500
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 <ludo@HIDDEN>) id 1tfglu-0007tA-Jx
 for control <at> debbugs.gnu.org; Wed, 05 Feb 2025 09:52:58 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-version:Subject:From:To:Date:in-reply-to:
 references; bh=YSuQloSp8O0C5IfROnZ6LvEBBCJ63u3jHkkiwYa+8XU=; b=IU++FC9TcFNnXY
 7OBW/BS4migWTCgbCcOOgh6bNJNgNUBaFGdipWG/tZM1VxhXCLqWVKbooGJ0k6dBiHAltU4bZTjMY
 S2X0aUlb+sedIgwLVlAY8AFoP3mTXZAaZ+NL77mdQSm7wZ7/Y4dkC4pvR4+RwRuUrTSZbp46fLkvc
 Zol1OmXDa0EwxvC5K2Cg8/kVdWEmBjIGxBGA4N27SFqGpfH2GKhN+snUzyZ2MnwQBgDVOkIl011pC
 ID2YCA8xS5Yqfz+HQrpqMUET0txlGFw3B7W+vOkVEtLfVsLcWOeSOEFRefZlk54g4i86323sTN9UH
 KvBDyKVeBc220vdLupwQ==;
Date: Wed, 05 Feb 2025 15:52:56 +0100
Message-Id: <87v7to8muv.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
Subject: control message for bug #75879
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

severity 75879 important
quit

Message sent to bug-guix@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#75879: with-parameters does not work generally for packages
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sat, 15 Feb 2025 21:00:02 +0000
Resent-Message-ID: <handler.75879.B75879.173965316116411 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 75879
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: David Elsing <david.elsing@HIDDEN>
Cc: dev@HIDDEN, zimon.toutoune@HIDDEN, othacehe@HIDDEN, me@HIDDEN, guix@HIDDEN, 75879 <at> debbugs.gnu.org
Received: via spool by 75879-submit <at> debbugs.gnu.org id=B75879.173965316116411
          (code B ref 75879); Sat, 15 Feb 2025 21:00:02 +0000
Received: (at 75879) by debbugs.gnu.org; 15 Feb 2025 20:59:21 +0000
Received: from localhost ([127.0.0.1]:58216 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1tjPFw-0004Gd-Hg
	for submit <at> debbugs.gnu.org; Sat, 15 Feb 2025 15:59:20 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10]:53818)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1tjPFu-0004GI-0J
 for 75879 <at> debbugs.gnu.org; Sat, 15 Feb 2025 15:59:18 -0500
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 <ludo@HIDDEN>)
 id 1tjPFo-0002Uo-Dj; Sat, 15 Feb 2025 15:59:12 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To:
 From; bh=g7VRpzqJh8zmvJ2lmnjBhZrLzW3LMqhBr171JA6SExg=; b=GewKbij6jl6CDODcIDfm
 5B/yIFEmeuDEq4S5eVOphANrzCbgwGQ+qyCBmZF4fvKW1QbVyBvOCbtUPvyyOQfMTMAbzDWsahrzT
 QTGbcmCNwPPaPPrVp3z+TpnHruVbMBaRHMnAqsR+MA4i4O7oEl2U3uYlZBsJ/OQQ9m4KyR7oaGp1M
 Ckdd2OWWWG3ZYtrUwKSvGYdo6mXHlUHv/kFmJKAY3z8g0Jo7HZuMVMBk0+TZp8YUg44cXV9vO4VGR
 sygY1gjcYGsvFC5El/mIBsM/uG937J2sUq0h7xPKQxGSS1nLYFzZ9F4auYjXMbF/QZTeBnu0/a9+u
 lALCkWDSYHdZZQ==;
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
In-Reply-To: <7yikq1p9g4.fsf@HIDDEN> (David Elsing's message of "Sun, 26
 Jan 2025 21:11:07 +0000")
References: <7yikq1p9g4.fsf@HIDDEN>
Date: Sat, 15 Feb 2025 21:59:06 +0100
Message-ID: <87jz9qx6ud.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Hi David,

David Elsing <david.elsing@HIDDEN> skribis:

> I noticed that 'with-parameters' from (guix gexp) does not work with
> Guile parameters used in package definitions. They are still set
> in 'lower-object', but not anymore when the monadic procedure returned
> by 'lower-object' is evaluated.
>
> Attached is an example for a package wrapped by 'with-parameters', which
> results in a file with "D" instead of "C" (it is not "A", because the
> 'arguments' field of <package> is thunked).
>
> Is this intentional? I'm not really sure how (or whether) this should be
> changed though.

Something just came to mind: the object cache.  The cache is keyed by
object + system + target + grafts?; if there=E2=80=99s anything that influe=
nces
what the object lowers to, changes are the object->derivation mapping is
already cached and that other thing will be ignored.

That=E2=80=99s a problem generally speaking with using =E2=80=98with-parame=
ters=E2=80=99 with
parameters other than =E2=80=98%current-system=E2=80=99, =E2=80=98%current-=
target-system=E2=80=99, and
=E2=80=98%graft?=E2=80=99.

I wonder if it=E2=80=99s the only thing at play here though.

Ludo=E2=80=99.

Last modified: Sat, 15 Feb 2025 21:15:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.