From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:1008:1e59::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 0DKCOQ5pn2VCfAEAkFu2QA (envelope-from ) for ; Thu, 11 Jan 2024 05:05:35 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id oLn5Mw5pn2XNOwAA62LTzQ (envelope-from ) for ; Thu, 11 Jan 2024 05:05:34 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=none ("invalid DKIM record") header.d=freakingpenguin.com header.s=x header.b=qB9NOtDH; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1704945934; 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: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=WMfWoyF4F74fElsMwK1zLmmiq5yKvTcupMkZkdlt7dY=; b=Wky2GR1O2ObzEecWmFfeyNiyDq8p8X2Sto2MdA6m7OMG0jeyRq2gbRquBLBaTWE0IKgogw Ekx1OQ6+73iac83uIlxgGdQn6fKBZCWLY42BEQJJH2jicLnXEOlvtjfSzxO1tWPH3d2cnd dxHlh5cC57rITBQJDUw/P2T6ZqyHqITpov3kGiLZDqlXSD24ci+YlLIWuHDufsnH5AoVAq lI2CuJMyWyMHduvOTRqtgzXmvzVJcqLVp+f9Wp9DzCZKnz5ZbJVfNHdNdhlJuuQsSmNzkY zrWXzzg0+R+MVizNmkyPJ5fACiJMmk6ErMFIGnr1vrXnckhJzkMPrDCBv68zRQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none ("invalid DKIM record") header.d=freakingpenguin.com header.s=x header.b=qB9NOtDH; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1704945934; a=rsa-sha256; cv=none; b=lOjpwnesQUJD9bRARq+lV4cAWdUPmx0aq/p1MI424PFIhJw1gmUhipoRKke+ncd/zxHtMZ SIXoVVl2VthSZ2CbX5/rk0jfY2lykW6n8qdAuSejAKCcLv4Q0o8V98UOYQe761KqyfmGH0 62qMoizlAzzXCHUI8sNpOTqAYn45JBCXkjpMBynybG3GvV/p23VPW7bWDQD75jJL9Dkebv ofcueVP+26hW62x0j30BC9+fU64eZnWvgvuRcxzmWa7LiXE9NNMqeIl4xrVjn1WVaLxRro 1qGoA0vdMaSBnJ6isdwdA2PU6mmIjR6dCDDj/PzksfeFPabPbqBd/Ygtc1UGUg== 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 7F42F3F699 for ; Thu, 11 Jan 2024 05:05:34 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rNm9r-0008Ob-OC; Wed, 10 Jan 2024 22:55:07 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rNm9q-0008OP-AB for help-guix@gnu.org; Wed, 10 Jan 2024 22:55:06 -0500 Received: from mail-108-mta42.mxroute.com ([136.175.108.42]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rNm9o-0002dI-Cu for help-guix@gnu.org; Wed, 10 Jan 2024 22:55:05 -0500 Received: from filter006.mxroute.com ([136.175.111.2] filter006.mxroute.com) (Authenticated sender: mN4UYu2MZsgR) by mail-108-mta42.mxroute.com (ZoneMTA) with ESMTPSA id 18cf6a8b0800003727.002 for (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384); Thu, 11 Jan 2024 03:54:59 +0000 X-Zone-Loop: 132338f2ace6ef27c8903cb3772fe92e75be1f59a94f X-Originating-IP: [136.175.111.2] DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=freakingpenguin.com; s=x; h=Content-Transfer-Encoding:Content-Type: Message-ID:References:In-Reply-To:Subject:Cc:To:From:Date:MIME-Version:Sender :Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=WMfWoyF4F74fElsMwK1zLmmiq5yKvTcupMkZkdlt7dY=; b=qB9NOtDHS4NnAX/Rqi4MkTciAA ZpmcnqiLQZZm6nh6ncoQBMbIvhDraxi47VFqhqCDr2a8YcUwpwzLNK58kRCht4RlLBZuW78/FKf5g Xgi9QtPLyigdqx4IyoJ2Lx14cETNPYFG3p6CoE7xaPuJZuIn435NRAdKZ8/Vzpzy+ivrxPt/Hu7oZ GrwvxYk/aBmibLdo5pMqDmYI5Qrwp2qYM2OWm/sJe4BRFcAUJeTYcCoE1SpHRAJE66tF8c856dn+X mVich4b7jBCgyFKQp7/sgB7EtN3wV8jhXAGQVB0QQ76qprACdwoClfRascm2IsmDWTRtMOhUZpckI SqnU+RBA==; MIME-Version: 1.0 Date: Wed, 10 Jan 2024 22:54:56 -0500 From: Richard Sent To: jgart Cc: help-guix@gnu.org Subject: Re: guix.scm and manifest.scm environment In-Reply-To: <2c47596ccca2cbf3f6920bcada0ad40e3ec246c0@dismail.de> References: <2c47596ccca2cbf3f6920bcada0ad40e3ec246c0@dismail.de> Message-ID: <7cece08a2a7118209b2f9c1fa74e2162@freakingpenguin.com> X-Sender: richard@freakingpenguin.com Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Authenticated-Id: richard@freakingpenguin.com Received-SPF: pass client-ip=136.175.108.42; envelope-from=richard@freakingpenguin.com; helo=mail-108-mta42.mxroute.com X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -6.28 X-Spam-Score: -6.28 X-Migadu-Queue-Id: 7F42F3F699 X-Migadu-Scanner: mx11.migadu.com X-TUID: h8aD+AyxZFhy On 2024-01-09 09:45, jgart wrote: > Hi Guixers, > > Are the modules that are automatically pulled in to a guix.scm or > manifest.scm documented? > > Those files are just scheme code but specifications->manifest is > available in the global namespace, for example. Note that guix repl manifest.scm will fail due to an unused import. This is special magic when passing a manifest with -m. Their presence seems to be from how load-manifest in environment.scm works. https://www.gnu.org/software/guile/manual/html_node/Loading.html. See that it uses load*, not load, creating a temporary module with the (guix profiles) and (gnu) modules loaded. We can confirm this with (display (module-uses (current-module))) (force-output) at the top of the manifest. Everything in those two modules is in scope. Similarly, since (gnu) re-exports all (gnu ...) public modules (see gnu.scm), the (gnu packages) module is in scope, so we have specifications->manifest. I definitely wouldn't rely on this behavior, but that's my understanding of it. Didn't notice any documentation. Richard Sent