From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id EOLFFXOa9mDp6wAAgWs5BA (envelope-from ) for ; Tue, 20 Jul 2021 11:42:11 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id UOajEXOa9mBcUQAAB5/wlQ (envelope-from ) for ; Tue, 20 Jul 2021 09:42:11 +0000 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 01FBB7546 for ; Tue, 20 Jul 2021 11:42:11 +0200 (CEST) Received: from localhost ([::1]:60046 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m5mGP-0002bH-I6 for larch@yhetil.org; Tue, 20 Jul 2021 05:42:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42668) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m5mGI-0002b6-Dj for guix-patches@gnu.org; Tue, 20 Jul 2021 05:42:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:49495) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1m5mGI-0007Gj-6B for guix-patches@gnu.org; Tue, 20 Jul 2021 05:42:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1m5mGI-0002dD-2o for guix-patches@gnu.org; Tue, 20 Jul 2021 05:42:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49280] [PATCH v2 1/3] gnu: racket: Update to 8.2. Resent-From: Leo Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 20 Jul 2021 09:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49280 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Philip McGrath , 49280@debbugs.gnu.org Received: via spool by 49280-submit@debbugs.gnu.org id=B49280.162677407310047 (code B ref 49280); Tue, 20 Jul 2021 09:42:02 +0000 Received: (at 49280) by debbugs.gnu.org; 20 Jul 2021 09:41:13 +0000 Received: from localhost ([127.0.0.1]:32808 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m5mFV-0002by-7P for submit@debbugs.gnu.org; Tue, 20 Jul 2021 05:41:13 -0400 Received: from mailrelay.tugraz.at ([129.27.2.202]:29078) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m5mFS-0002bm-NO for 49280@debbugs.gnu.org; Tue, 20 Jul 2021 05:41:12 -0400 Received: from [10.0.0.4] (80-121-26-175.adsl.highway.telekom.at [80.121.26.175]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4GTYcd6PLwz3wmN; Tue, 20 Jul 2021 11:41:05 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1626774066; bh=Ug9sQzVfEUIIthzC8lEEchsizCrp8C/BQN+2ZNpA3Ng=; h=Subject:From:To:Date:In-Reply-To:References; b=f1zDxE7YMwb45eZFD23jjfniNaUkB4iGgzl/uV32+TVZxbQR8usVbWohswLMMZJhX /Lh2D31QD5K7WjNlmD6s86naysgu5y0iKKZpgA2bbNlwVXSOY2vS8SHxw2pJPwmIW5 E3PC24xwzL7YcalvN4p8kaQPHiLsPr3j/iJmqXtk= Message-ID: <95998dae5aec25fed80dd1e5a3808167796282ae.camel@student.tugraz.at> From: Leo Prikler Date: Tue, 20 Jul 2021 11:40:40 +0200 In-Reply-To: References: <270db91e-24f6-2754-7164-d0406aeebc60@philipmcgrath.com> <20210719063143.788661-1-philip@philipmcgrath.com> <552707abf1fdcba6de34fbb5a5466dea31c8417a.camel@student.tugraz.at> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-TUG-Backscatter-control: bt4lQm5Tva3SBgCuw0EnZw X-Spam-Scanner: SpamAssassin 3.003001 X-Spam-Score-relay: -1.9 X-Scanned-By: MIMEDefang 2.74 on 129.27.10.117 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1626774131; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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=Ug9sQzVfEUIIthzC8lEEchsizCrp8C/BQN+2ZNpA3Ng=; b=PckvLxnuTV1h0mG80a2RndQMqsyXobEDSO0PmR+EQ5hd4j5J/8HX+z/ryYPtfYoM7wWvQx gn1Aipupc5zcq0hMXc8vvw0q/br6ijor0Up9ZVfGpX9W8iZO8JkBRt/jLMLJP1hGKhjJoL 2sk9MDONe7bGJf9vtiQZayebFsPr6LADrkc0JVVhvGvY4kKI52Drupb2ib+vEFrwywSDl9 nLbEf0ew1YvVY+wdzXDwzotxiUqTxplZm89JZ1aIuNmzHrom3/msBnLgCXzl1GPR2kOu3B N3kPTqMgGfJrFhh+yXLXb3iagnoNfAVpCXzUFabK2gnKYlxj0FGgj9dZ5FC6kQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1626774131; a=rsa-sha256; cv=none; b=Y93Kcw2/ijjCcSaIbzXZSvknZMxs1jr33biQG3U2JGt21bY4E4EaMZqpGJWyOB+cTY4Rox 2S2awIRBG7X09IEm8AwfNRBY0sQ+mgzd/KD5lrMaEmZCIFXgrHGhAXQO3TMkkfuhoj/Chh CfbfTotwrfhYATnSHQKl1WW2HMo3DG0gIgvWJmHJmh0pKtTS2h012IgO2bYdIvayUzp2mk dM9SGj9Hgw+6GYLbFunWaI6ZVU46uABKlylZgQJU6iowifKiMu5ybaRql2JU+WWdq/qZie AXuPwZO/PLLMrQXDcne5XUdsqBR5qi4/MWgFmsOpjbqu0bvvJPSUtH1yYDYqCg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=f1zDxE7Y; dmarc=fail reason="SPF not aligned (relaxed)" header.from=student.tugraz.at (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: -1.32 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tugraz.at header.s=mailrelay header.b=f1zDxE7Y; dmarc=fail reason="SPF not aligned (relaxed)" header.from=student.tugraz.at (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 01FBB7546 X-Spam-Score: -1.32 X-Migadu-Scanner: scn0.migadu.com X-TUID: x4rwF6Tc5Jkj Am Montag, den 19.07.2021, 17:46 -0400 schrieb Philip McGrath: > Hi, > > On 7/19/21 3:46 PM, Leo Prikler wrote: > > Am Montag, den 19.07.2021, 02:31 -0400 schrieb Philip McGrath: > > > * gnu/packages/racket.scm (racket-minimal, racket): Update to > > > 8.2. > > > * gnu/packages/racket.scm (racket-minimal)[#:arguments]: Fix > > > patch-config.rktd-lib-search-dirs phase. When a config.rktd file > > > doesn't contain an entry for `lib-search-dirs`, the default is > > > equivalent to `'(#f)`, not `'()`. > > What is the point of this value? Can we use a (sequence of) > > string(s) > > in its stead? > > As you'd probably guess, `lib-search-dirs` and other `-search-dirs` > "config.rktd" entries specify search paths. The `#f` value is used > to > specify the point at which the default search path should be spliced > into the list: a configuration file can ignore the default altogether > or > exercise fine-grained control over the search order. Using `#f` also > helps to maintain something closer to a single point of control, > rather > than hard-code the same string constants in several places. Okay, but for this specific config, we could still splice #f ourselves (particularly to also get full store paths), or can we not thanks to the non-constant nature of #f? > Most importantly, the default value is not always a constant: for > example, command-line flags and Racket parameters control whether > user-specific paths are included. How exactly would this play out? Would for example one version of #f contain all of the user-installed packages in ~/.guix-profile whereas the other would only contain racket's own path? > (For `lib-search-dirs` in particular, it's also worth noting that > these are Racket-specific search directories: it does not control the > use of OS-level defaults for e.g. `dlopen`.) Perhaps a confusing naming scheme, but okay. > The problems with omitting `#f` from `lib-search-dirs` were not very > noticeable until the patch to start using layered and tethered > installations. For a more obvious example, if `catalogs` is `'()`, > `raco pkg` won't consult any package catalogs, whereas `'(#f)` will > cause it to use the default catalogs. Okay, but `catalogs` is not `lib-search-dirs`, is it? I'd assume `'(#f)` is roughly equivalent to `'("default")` or `'("@spam@" "@ham@" "@eggs@")` for some configure-time constant spam, ham and eggs. Or does the command-line flag variability apply to catalogs as well? > The documentation for these configuration options is here: > https://docs.racket-lang.org/raco/config-file.html#(idx._(gentag._70._(lib._scribblings%2Fraco%2Fraco..scrbl))) > > (As of this writing, the docs on the website are still at 8.1---the > whole package catalog is rebuilt after a new Racket release, which > takes a little while to finish. You could alternatively apply this > patch and run `lynx "file://"$(./pre-inst-env guix build > racket)"/share/doc/racket/raco/config- > file.html#(idx._(gentag._70._(lib._scribblings%2Fraco%2Fraco..scrbl)) > )"`.) I think more important than the semantics of the configuration file is the purpose of this particular thing. Is it a template from which other stuff is derived? In that case, we might want to use #f as you did. Is it instead used to build stuff in the racket package? Then we'd need to substitute it imo. Regards