From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Subject: bug#34999: Record special field abstraction leakage
Date: Tue, 26 Mar 2019 10:38:11 +0100
Message-ID: <87zhpiht6k.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([209.51.188.92]:46300)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1h8iXv-0008N5-I8
	for bug-guix@gnu.org; Tue, 26 Mar 2019 05:39:04 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1h8iXu-0006Qx-NE
	for bug-guix@gnu.org; Tue, 26 Mar 2019 05:39:03 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:45496)
	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 1h8iXu-0006Qa-4x
	for bug-guix@gnu.org; Tue, 26 Mar 2019 05:39:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1h8iXt-00087w-UW
	for bug-guix@gnu.org; Tue, 26 Mar 2019 05:39:01 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.34999.B.155359310231186@debbugs.gnu.org>
Received: from eggs.gnu.org ([209.51.188.92]:46100)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1h8iX9-0008H9-08
	for bug-Guix@gnu.org; Tue, 26 Mar 2019 05:38:16 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:50780)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
	id 1h8iX8-00069c-TW
	for bug-Guix@gnu.org; Tue, 26 Mar 2019 05:38:14 -0400
Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=45764 helo=ribbon)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
	(Exim 4.82) (envelope-from <ludo@gnu.org>) id 1h8iX8-0007Ll-BM
	for bug-Guix@gnu.org; Tue, 26 Mar 2019 05:38:14 -0400
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: bug-Guix@gnu.org

The changes I made in version-control.scm and gnucash.scm in commit
e6301fb76d0a8d931ece2e18d197e3c2cc53fc6c revealed an abstraction leakage
I wasn=E2=80=99t aware of: there=E2=80=99s a pattern where users =E2=80=9Cs=
ee=E2=80=9D that thunked
fields are thunked:

  (package
    ;; =E2=80=A6
    (inputs =E2=80=A6)
    (arguments `(foo bar ,(inputs) =E2=80=A6)))  ;<- here =E2=80=98inputs=
=E2=80=99 is seen as a thunk

Fortunately I could only find two occurrences of this and this use case
is more elegantly replaced by:

  (package-inputs this-record)

=E2=80=A6 which also has better semantics.  It=E2=80=99s remains a bug, tho=
ugh.

Ludo=E2=80=99.