From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id eLkoBQ8PxGI2UQAAbAwnHQ (envelope-from ) for ; Tue, 05 Jul 2022 12:14:39 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id IGMjBA8PxGKoGAAAG6o9tA (envelope-from ) for ; Tue, 05 Jul 2022 12:14:39 +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 B47851ABA7 for ; Tue, 5 Jul 2022 12:14:38 +0200 (CEST) Received: from localhost ([::1]:59134 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o8fZl-0004tc-0O for larch@yhetil.org; Tue, 05 Jul 2022 06:14:37 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58898) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o8fZC-0004t5-AQ for bug-guix@gnu.org; Tue, 05 Jul 2022 06:14:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55460) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o8fZC-0002IL-26 for bug-guix@gnu.org; Tue, 05 Jul 2022 06:14:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o8fZB-0007ug-RH for bug-guix@gnu.org; Tue, 05 Jul 2022 06:14:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#56114: Guix does not have a documented general and practical procedure for lowering a single lowerable object to the /gnu/store/... string. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 05 Jul 2022 10:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56114 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: Maxime Devos , 56114@debbugs.gnu.org Received: via spool by 56114-submit@debbugs.gnu.org id=B56114.165701602930393 (code B ref 56114); Tue, 05 Jul 2022 10:14:01 +0000 Received: (at 56114) by debbugs.gnu.org; 5 Jul 2022 10:13:49 +0000 Received: from localhost ([127.0.0.1]:49357 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o8fYz-0007u8-DO for submit@debbugs.gnu.org; Tue, 05 Jul 2022 06:13:49 -0400 Received: from mail-pj1-f50.google.com ([209.85.216.50]:43571) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o8fYv-0007tm-Fy for 56114@debbugs.gnu.org; Tue, 05 Jul 2022 06:13:48 -0400 Received: by mail-pj1-f50.google.com with SMTP id o5-20020a17090a3d4500b001ef76490983so7535667pjf.2 for <56114@debbugs.gnu.org>; Tue, 05 Jul 2022 03:13:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=Kl8cpzg7Yz85FGGZlfLCDqOLnO5fB/IgPTk4PpRlqEY=; b=YRV0frTQPmd56M0Bv9Ea0iQM8tJISb+TWSgD3Z7ngJ0FTKIQ+ckuE72H4PbqZdwI8d QRWBnaCJQ7zkFZ+986eGF6zeAAY11Co3QJlbDbJb33ZFyHgsTaqKEXvEP2hnC2h6La2o 9aqTuaLfqmioURtX/+uE3pOGhUzQy6Zq1He57GaVycYhZKWW4Ha9m2SjdLnU6/NjWQES pA8zVzXtdZouA7+yui0EFkJ8YAyG/w4+Cpy1OKHdbl4TxV119ErKKxPBYyVRQWKL/66x A720RlFKmSCinf7dMokp0qpnRM2zgQqx+zRTOXs8i+fZ0kzt8nL6vHwpwEsKQ6KMc+s4 ekVg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=Kl8cpzg7Yz85FGGZlfLCDqOLnO5fB/IgPTk4PpRlqEY=; b=j5IjUXZy3IUtDiQdtI4s6Ux4GdlzOpKY0VlmZnMthgMSHFw5hscrakdtfpF2eJVtgT EzjqWg44cdsRIjpdMQ7ttQLyX7TIl2meWNhyeBetwlzrjSNxnzgIPL3ELWRBM6AONnTH DX/m5uLBoTi4U1/Kdktvb3ty7EWxcEE9qJD1TIeDxef7VbbNEjhqfcVEEc2y8/U48Zpb xJ4GRu4bgXCwbb8NIC4fwdl99CB83yHGyJlP63wI56zIqvVl6e48/NSeB6yTJQPCP8Ka WZaZee2oKtGl3hTUE81gyhpvIjpsep6ewtjCf0E4ppofULvprrZD9mHo5CUANkIvMuSn /OGw== X-Gm-Message-State: AJIora98bqU8lFrNtyyAZLBlITgGaNZkw56b3Gz3XZmnJSMm0xcKKUaE dF72QE40LRoklrWhFk6Ly7bwgUWrBk9bC75UJsI= X-Google-Smtp-Source: AGRyM1vFAj1XDuc+2HMvn52SZ3iaAnOj1tV0wcyupzso+9R9EO0gZGbQWe3T8RC2/VV6OeJm2r68g3CGX1+ZwxssB2g= X-Received: by 2002:a17:90a:c84:b0:1ef:3b1a:6077 with SMTP id v4-20020a17090a0c8400b001ef3b1a6077mr34888643pja.23.1657016019631; Tue, 05 Jul 2022 03:13:39 -0700 (PDT) MIME-Version: 1.0 References: <1652a111d71c3e74c61904f89120ea45631c7013.camel@telenet.be> <87edz1zzrz.fsf@gnu.org> <87y1x8nasl.fsf@gmail.com> <8735fg8wlr.fsf@gnu.org> <865ykczgh7.fsf@gmail.com> <87wncs56w0.fsf@gnu.org> In-Reply-To: <87wncs56w0.fsf@gnu.org> From: zimoun Date: Tue, 5 Jul 2022 12:13:27 +0200 Message-ID: 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" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1657016078; 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=Kl8cpzg7Yz85FGGZlfLCDqOLnO5fB/IgPTk4PpRlqEY=; b=EgkaK+vu7Zisxax+Qw5ikjYkMMWAGNp3uiZ3IFd5Vzr5TBSHldG4A3YjbWMGjymRYrxTby X/9AJyVbGvMETiEJtIWIY6t6o6gl/dJklj9QPFt5I1jBvKUF/Erwna3+5y8Ujlx0hR6p2z i0PbeQJs0zuFLCcIxLAqsiQMqhdFrExn4SnQTshMrSThb1hUusnZdOyX8AigZgJ/jT4+GX eVGJ1B3/3yCtuGGwrrQH2EezWwOuJ3eNadJJCfF/1G5eIzAVMzyBlXHFzkUXop9afx78Pl UHniZNQu/xlvVYtdfs412ozG6DRroT0mJN7887nCafIBppM25NpZVzYdTpeQqg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1657016078; a=rsa-sha256; cv=none; b=bGbgIzt0ckCQhSnM6y6MuCKYuZhj2w7aWLA/cNHkhP+kogUpv3ltbytCfppLQ17WE1ar65 bahJT/fyE3NYsm47Eierm8BFaNu4O/gQk2dOXuV72zWXaeEptLl8+vj/QR8mlYEn+ZJm4g R1KauRpoxGFdTX9L7H26mbEwIOyOLklvlohYq6EInG3pbLjIi7GOM7DrkXYmkfrirpgepF HT2mIIJmOupDtI2l/t7CCtLd1A8tKSrw06/NZAK2EXyyP+ov0QZ/a/VzjlukZLLSX4beYI fUblOx4L5D+wL4peFXZYkyVLp6M9CABiuF93sjckfXH/yjx0Ip6Iat9wDbDGVQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=YRV0frTQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" X-Migadu-Spam-Score: 5.25 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=YRV0frTQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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" X-Migadu-Queue-Id: B47851ABA7 X-Spam-Score: 5.25 X-Migadu-Scanner: scn0.migadu.com X-TUID: D+072i2fysoD Hi, On Tue, 5 Jul 2022 at 09:57, Ludovic Court=C3=A8s wrote: > I don=E2=80=99t take comments about unrelated things. ;-) So one more. ;-) > As someone who writes gexps and manipulates =E2=80=9Cfile-like objects=E2= =80=9D, it > doesn=E2=80=99t matter whether a thing lowers to a derivation or to a pla= in > store item. What matters is that you can insert it in a gexp and it=E2= =80=99ll > do the right thing. That=E2=80=99s why the docstrings don=E2=80=99t insi= st on that > difference. > > Hope it makes sense! The difference is explained nowhere and to understand why the returned call is different, then one has to read the code; it is what I did. :-) Well, "do the right thing" is an expectation based on an understanding about what the "right thing" means. :-) When I am manipulating "file-like objects", I am always confused by what it means and thus it appears to me that it does not "do the right thing" and it is hard to understand why. Yes it makes sense to not insistt on that difference once you have clear understanding of this very difference. However, when learning G-Exp -- which is already unusual -- "file-like objects" and how to manipulate them is hard to grasp because the difference is never written down. I still think the docstring or the manual should mention such difference. Explicit is better than implicit. In the face of ambiguity, refuse the temptation to guess. =E2=80=93 The Zen of Python, by Tim Peters =E2=80=93 Anyway! That's unrelated. ;-) Cheers, simon