From unknown Fri Aug 22 01:03:28 2025 X-Loop: help-debbugs@gnu.org Subject: bug#65363: Missing support for (library ...) match condition in 'cond-expand' Resent-From: Zhu Zihao Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 18 Aug 2023 11:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 65363 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 65363@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16923579851163 (code B ref -1); Fri, 18 Aug 2023 11:27:02 +0000 Received: (at submit) by debbugs.gnu.org; 18 Aug 2023 11:26:25 +0000 Received: from localhost ([127.0.0.1]:46188 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qWxcX-0000Ih-9o for submit@debbugs.gnu.org; Fri, 18 Aug 2023 07:26:25 -0400 Received: from lists.gnu.org ([2001:470:142::17]:54382) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qWxcU-0000IT-Gn for submit@debbugs.gnu.org; Fri, 18 Aug 2023 07:26:24 -0400 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 1qWxcO-0005L8-Cm for bug-guile@gnu.org; Fri, 18 Aug 2023 07:26:16 -0400 Received: from m12.mail.163.com ([220.181.12.215]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qWxcK-0003uR-6A for bug-guile@gnu.org; Fri, 18 Aug 2023 07:26:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com; s=s110527; h=From:Subject:Date:Message-ID:MIME-Version: Content-Type; bh=jxqgwZmSazAq0KvB0P89QlpeZJDmaQTDbJ49ZZelTg4=; b=LuhIyeqdH2LTRruYevdfJu++QXS1WarXpti7gNXfR1ER4ryoo34w54EO5O47kV bs1rIF0fr/1QU6Prsho1dbkc+Ay63d9pKlCuUQ3cV7Gz6FvbSptG5xmot9Hi1xn3 W7Vhcd1Onkn652DyaR3H/vEXN0HPzvsmKdL47gU+7HudQ= Received: from asus-laptop (unknown [119.123.67.67]) by zwqz-smtp-mta-g0-1 (Coremail) with SMTP id _____wCXv89IVd9kxzW1DQ--.40031S2; Fri, 18 Aug 2023 19:26:01 +0800 (CST) User-agent: mu4e 1.10.5; emacs 30.0.50 From: Zhu Zihao Date: Fri, 18 Aug 2023 19:18:16 +0800 Message-ID: <86pm3ky4lk.fsf@163.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-CM-TRANSID: _____wCXv89IVd9kxzW1DQ--.40031S2 X-Coremail-Antispam: 1Uf129KBjvdXoW7XFW8urWDAw1xCFy7Xr13Jwb_yoW3WFX_Gr WkJwsrJF18ZrW2vry5K3yI9ayxX39F9Fy5JrW0gr1Yv34rJa1fGrZFyrsYgwnFyayrX34q 93Z5K343tw1akjkaLaAFLSUrUUUUUb8apTn2vfkv8UJUUUU8Yxn0WfASr-VFAUDa7-sFnT 9fnUUvcSsGvfC2KfnxnUUI43ZEXa7IUUVTYUUUUUU== X-Originating-IP: [119.123.67.67] X-CM-SenderInfo: pdoosuxxwbztlvw6il2tof0z/xtbBoQrPr2I0Z05m3AAAsO Received-SPF: pass client-ip=220.181.12.215; envelope-from=all_but_last@163.com; helo=m12.mail.163.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_BL=0.001, RCVD_IN_MSPIKE_L4=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) --=-=-= Content-Type: text/plain In R7RS, page 14, section 4.2.1 Conditionals. The form 'cond-expand' can accept following conditions ``` A takes one of the following forms: - - (library ) - (and ...) - (or ...) - (not ) ``` The form (library ) is used to test whether a R7RS library named exists or not. For example: ``` (cond-expand ((library (srfi srfi-1)) (display "Yes, we have SRFI-1.\n"))) ``` However, this form is currently not supported by Guile. Supporting this form can help Guile use portable R7RS library more smoothly. -- Retrieve my PGP public key: gpg --recv-keys B3EBC086AB0EBC0F45E0B4D433DB374BCEE4D9DC Zihao --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIsEARYIADMWIQT4UAIrVkIEZilSHr2K2nJqP6LM8gUCZN9VOBUcYWxsX2J1dF9s YXN0QDE2My5jb20ACgkQitpyaj+izPLw+QD/d7pTeyqg22FSu6LGkOikxVIlMkpm T0fxkGmNKy0igjkBAJ2siplfRiGUlN+Y0A259rcgXhLiQEKpSOYPuwRkDmcL =O5vk -----END PGP SIGNATURE----- --=-=-=-- From unknown Fri Aug 22 01:03:28 2025 X-Loop: help-debbugs@gnu.org Subject: bug#65363: Missing support for (library ...) match condition in 'cond-expand' Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 28 Nov 2023 03:54:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65363 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: Zhu Zihao Cc: 65363@debbugs.gnu.org Received: via spool by 65363-submit@debbugs.gnu.org id=B65363.170114360210152 (code B ref 65363); Tue, 28 Nov 2023 03:54:01 +0000 Received: (at 65363) by debbugs.gnu.org; 28 Nov 2023 03:53:22 +0000 Received: from localhost ([127.0.0.1]:45194 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r7pA2-0002df-2s for submit@debbugs.gnu.org; Mon, 27 Nov 2023 22:53:22 -0500 Received: from mail-qk1-x733.google.com ([2607:f8b0:4864:20::733]:58436) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r7pA0-0002dS-Cl for 65363@debbugs.gnu.org; Mon, 27 Nov 2023 22:53:20 -0500 Received: by mail-qk1-x733.google.com with SMTP id af79cd13be357-778ac9c898dso231680885a.0 for <65363@debbugs.gnu.org>; Mon, 27 Nov 2023 19:53:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1701143587; x=1701748387; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=r2gRoMV+GgqTqLWsam7NnL8aFDdQSe3qxoqXcjG8H8c=; b=PbZMyRrQKmf+nAjbX2aRI+a6uB2wTNKE3/Uo45/+AFppKGoCr9eZCL7KBHziFWOCY/ t562JGmOw0K9o6cpQDrtAb43TP1hw4ps2WjZr+ceEjTQqo+UoB3SKsZKKq9fNmutS3nN xIX9PEQFWFBcnluQeYuwYHh8SwngaZstbRlWDnZcqKnenT0OhRpabOsXtv5P8wXvoxEz dkZRmXlb0EZ16a134sQFkrsW84E582fSGyHrOwijQgauUFoeCX//uMonzCX+c4GOyFmt GsdEsxb5Y1quy5ha6JLhmqARH32KymevO+fDBFz3PB73WtOr3iFP3dfEQ/bP6Gy8jFib pDpw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701143587; x=1701748387; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=r2gRoMV+GgqTqLWsam7NnL8aFDdQSe3qxoqXcjG8H8c=; b=cV9mcmfw+FSkWJHVkirn4AVIuYbO12M47z5RLBx1tQw95qTPgTS8m5EhL4U7w/jbti kAgmtydHmyBUMl4Qlhg/dfXy5BMGzxPn2IwRfCosHm9LzFd0KYdeNyCmch9wW3rpxBFL DGyDusEEDCrSKnk9EvDjN+wnNfG1AFJBpK/j3XCY9ARlSoPRreaZawwY/T5GpBqt/fOr i7VAbdBW3J8a3mWa6Oi0W3foS5LKs8IBwIIHC3W1toceClTBvnWEBxvlabwH/5jwAbjA LuWIbdEts2F+L7yje9jg68YgERsbfT3aqua8RNikSQNfvtTg3wqLYB8233PdOo+S9AiH o+NA== X-Gm-Message-State: AOJu0YzTYbTZKpt6E8upLnJoPGVjOl2+BiM1E0EP0mUcaaD/cMbskjAn ealVBITmMqwJMVUBTvY20aXbHVlu44Q= X-Google-Smtp-Source: AGHT+IG5SLVMKqTWPTkMZJPaSmqkzz+vIjcvpCwEMtFVgA9jiHdiJRb3suFx4V7bubze28ha4GnF1Q== X-Received: by 2002:a05:6214:883:b0:67a:3ef2:3a77 with SMTP id cz3-20020a056214088300b0067a3ef23a77mr6720918qvb.60.1701143587547; Mon, 27 Nov 2023 19:53:07 -0800 (PST) Received: from hurd (dsl-154-146.b2b2c.ca. [66.158.154.146]) by smtp.gmail.com with ESMTPSA id u2-20020a0cf882000000b0067a3abec392sm1963435qvn.66.2023.11.27.19.53.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 27 Nov 2023 19:53:07 -0800 (PST) From: Maxim Cournoyer In-Reply-To: <86pm3ky4lk.fsf@163.com> (Zhu Zihao's message of "Fri, 18 Aug 2023 19:18:16 +0800") References: <86pm3ky4lk.fsf@163.com> Date: Mon, 27 Nov 2023 22:53:06 -0500 Message-ID: <87edga5yal.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, Zhu Zihao writes: > In R7RS, page 14, section 4.2.1 Conditionals. The form 'cond-expand' can > accept following conditions > > ``` > A takes one of the following forms: > > - > - (library ) > - (and ...) > - (or ...) > - (not ) > ``` > > The form (library ) is used to test whether a R7RS library > named exists or not. For example: > > ``` > (cond-expand > ((library (srfi srfi-1)) > (display "Yes, we have SRFI-1.\n"))) > ``` > > However, this form is currently not supported by Guile. Supporting this > form can help Guile use portable R7RS library more smoothly. I'm not sure what doesn't work with the above example; it should work when used within a define-library, per this 2020 commit: --8<---------------cut here---------------start------------->8--- commit fd2ffc649c2d08639c2ac41c25e4ebdbeb4b151d Date: Sun Jan 12 20:14:30 2020 +0100 Support R7RS define-library --8<---------------cut here---------------end--------------->8--- I've found it had a few omissions, which I've corrected locally, such as not handling 'else' clauses or (srfi N) names, but your example should have worked, AFAIK. If trying 'cond-expand' from the REPL, you'll want to ,use (scheme base) to get the newer cond-expand definition shadow the SRFI 0 one that is defined in (guile). -- Thanks, Maxim From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 27 22:53:25 2023 Received: (at control) by debbugs.gnu.org; 28 Nov 2023 03:53:25 +0000 Received: from localhost ([127.0.0.1]:45197 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r7pA5-0002du-DU for submit@debbugs.gnu.org; Mon, 27 Nov 2023 22:53:25 -0500 Received: from mail-qv1-xf29.google.com ([2607:f8b0:4864:20::f29]:48340) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r7pA3-0002dW-SN for control@debbugs.gnu.org; Mon, 27 Nov 2023 22:53:24 -0500 Received: by mail-qv1-xf29.google.com with SMTP id 6a1803df08f44-679dd3055faso27029096d6.0 for ; Mon, 27 Nov 2023 19:53:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1701143591; x=1701748391; darn=debbugs.gnu.org; h=subject:from:to:message-id:date:from:to:cc:subject:date:message-id :reply-to; bh=euapaN5DkczdWx2jSkorDUygISEVxQq6HAwkPu6lVZY=; b=e8Yh0C/+XCqKMkCWAgYlSNOsc+N8IaI0j483bfl3kOi3NjhbfxgO1lh3v1YP0+sXFO PKwDDaSqUsghviTl/3X6sGE1EVGS8S1wDZVI39sIYBBcXn3RSSNMijqqLBZza278Jau1 +JEXMnLw0t80BOBfAxb05zWpLAM82YGvoVwBxOyGFLFS5hCuXkAesYkh8+02yjlOGQmv ljshTcCqTk7m8qwi+dneHdTrRGtscG90o38Jp+jQ8nTIEIK+bKJcpk1pupUs0YDQgggG 578bEFLeymvFizg/7d8sjCcLhaUJKVlOqJVg9SuOsbdSTG0XLtxNbwFNQeEXdQu4Uv9l KgrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701143591; x=1701748391; h=subject:from:to:message-id:date:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=euapaN5DkczdWx2jSkorDUygISEVxQq6HAwkPu6lVZY=; b=WFAYB20eU/c5txghJKSK5Vo2iw6yZTWKYjMGRD0hiLvvkg58SjZK/aFdeDiDSAJY5C JdfPiZvQLpdbXF9pDU+E/OejwHKrLQwJOEM4NaWRSXEOm0pA/m00H5A9kOTQDvWtrPuC sjOVCpLByr+kImiNrFM6tnk44ebgS610VsDWHtiFCEQ0bl7DsHkxqTpk3VJaSZhXqA0q pgNuOzjJLvmHJH/asAX/Q+gWtYKs095Y5ROOIreNvn8ArmcK1Jon9sCQEqD3YKweQlUn LHjNQ9JSXQPD5b34gT1CPOIpbe1CXp9i/I88/Xvd+2mwpHmAroN1vb8+wl/SHAazTpfS z53Q== X-Gm-Message-State: AOJu0YwRUEfmpml0QkepQka1R6XXx6bNXdR1G34VdetGnfhzZOf1ifrj 6EfXB51t62ZUo/9mebH6VUZ0WsaYmR4= X-Google-Smtp-Source: AGHT+IEfaTkexpqVIuveVqLSWqQNqZUnspa8q52YoiJfWL3Mj5JTdrLvI3lrgWbbgfv4YdlUpKqm4Q== X-Received: by 2002:ad4:4d86:0:b0:679:d41a:69e4 with SMTP id cv6-20020ad44d86000000b00679d41a69e4mr14469473qvb.4.1701143591222; Mon, 27 Nov 2023 19:53:11 -0800 (PST) Received: from hurd (dsl-154-146.b2b2c.ca. [66.158.154.146]) by smtp.gmail.com with ESMTPSA id g12-20020a05620a13cc00b0077580becd52sm4195471qkl.103.2023.11.27.19.53.10 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 27 Nov 2023 19:53:10 -0800 (PST) Date: Mon, 27 Nov 2023 22:53:09 -0500 Message-Id: <87cyvu5yai.fsf@gmail.com> To: control@debbugs.gnu.org From: Maxim Cournoyer Subject: control message for bug #65363 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) tags 65363 + moreinfo quit