GNU bug report logs - #34999
Record special field abstraction leakage

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

Received: (at submit) by debbugs.gnu.org; 26 Mar 2019 09:38:22 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Mar 26 05:38:22 2019
Received: from localhost ([127.0.0.1]:59040 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1h8iXG-00086v-Ej
	for submit <at> debbugs.gnu.org; Tue, 26 Mar 2019 05:38:22 -0400
Received: from eggs.gnu.org ([209.51.188.92]:59954)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1h8iXF-00086h-Ch
 for submit <at> debbugs.gnu.org; Tue, 26 Mar 2019 05:38:21 -0400
Received: from lists.gnu.org ([209.51.188.17]:54039)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <ludo@HIDDEN>) id 1h8iXA-0006AC-7K
 for submit <at> debbugs.gnu.org; Tue, 26 Mar 2019 05:38:16 -0400
Received: from eggs.gnu.org ([209.51.188.92]:46100)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <ludo@HIDDEN>) id 1h8iX9-0008H9-08
 for bug-Guix@HIDDEN; Tue, 26 Mar 2019 05:38:16 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=5.0 tests=ALL_TRUSTED,BAYES_00
 autolearn=disabled version=3.3.2
Received: from fencepost.gnu.org ([2001:470:142:3::e]:50780)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1h8iX8-00069c-TW
 for bug-Guix@HIDDEN; 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@HIDDEN>) id 1h8iX8-0007Ll-BM
 for bug-Guix@HIDDEN; Tue, 26 Mar 2019 05:38:14 -0400
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: bug-Guix@HIDDEN
Subject: Record special field abstraction leakage
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: 6 Germinal an 227 de la =?utf-8?Q?R=C3=A9volution?=
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: Tue, 26 Mar 2019 10:38:11 +0100
Message-ID: <87zhpiht6k.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: submit
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: -1.0 (-)

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.