From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 12 12:49:23 2022 Received: (at submit) by debbugs.gnu.org; 12 Nov 2022 17:49:23 +0000 Received: from localhost ([127.0.0.1]:48935 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1otud9-0002SV-0x for submit@debbugs.gnu.org; Sat, 12 Nov 2022 12:49:23 -0500 Received: from lists.gnu.org ([209.51.188.17]:49746) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1otud7-0002SO-Tv for submit@debbugs.gnu.org; Sat, 12 Nov 2022 12:49:22 -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 1otud7-00011O-ND for bug-guile@gnu.org; Sat, 12 Nov 2022 12:49:21 -0500 Received: from mx1.dismail.de ([78.46.223.134]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1otud5-0004Oh-Jr for bug-guile@gnu.org; Sat, 12 Nov 2022 12:49:21 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 6fa56d33 for ; Sat, 12 Nov 2022 18:49:13 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to :subject:date:message-id:mime-version:content-type; s=20190914; bh=7PlaHwbIk0vCFzQADzG+Yb0CbucIV8ElGPrieP2j8xU=; b=VXOpvCtGhcYu kQcfEAGrtc8O63AfA1E1P+326sTq6FYZGCZU8WIaoCT6ogRsZfYN/sCUS+t0qo/j a4Nqzpe4hDDCnkalwer/vs0q34KczRfsdOso8sUw4dpK2SZV+HQirWg+xcPIXLyx BX0NHty24DC89EVgljQ2cJP4kRZ8+E8aDJ+D6UpJ3248cOvA41kPZ/H3F7AupX8D j4QkBLg58sQMUfiT9jhIUBlmcRUCo8K2lALmxNV6tComco6qF9LAeqeLbfH1Btj8 N0K1SgL3JwuiquEgMJLazBQskNGae874Hl3RjzoJeljLBMR/3ilCp+xm7ZW4JkQ/ lNzUEDfj8A== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 99f921cf for ; Sat, 12 Nov 2022 18:49:13 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id b6fc7d48 for ; Sat, 12 Nov 2022 18:49:13 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id e98a3990 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Sat, 12 Nov 2022 18:49:12 +0100 (CET) From: Joshua Branson To: bug-guile@gnu.org Subject: (file-exists? #f) raises an exception Date: Sat, 12 Nov 2022 12:49:09 -0500 Message-ID: <87y1sghxm2.fsf@dismail.de> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=78.46.223.134; envelope-from=jbranso@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit 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: -2.4 (--) Hello you lovely guile people! This bug is so simple the subject line says it all! file-exists? is a predicate, but #+BEGIN_SRC scheme (file-exists? #f) ice-9/boot-9.scm:1685:16: In procedure raise-exception: In procedure stat: Wrong type argument in position 1 (expecting open file port): #f Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue. #+END_SRC I will shortly tag this as "easy". Can you lovely maintainers give me about a week to try to fix this myself? Thanks, Joshua avid fantany reader From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 12 12:58:16 2022 Received: (at 59221) by debbugs.gnu.org; 12 Nov 2022 17:58:16 +0000 Received: from localhost ([127.0.0.1]:48953 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1otulj-0002ff-Rx for submit@debbugs.gnu.org; Sat, 12 Nov 2022 12:58:16 -0500 Received: from mout.kundenserver.de ([212.227.126.135]:43037) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1otulh-0002fS-Pq for 59221@debbugs.gnu.org; Sat, 12 Nov 2022 12:58:14 -0500 Received: from smtpclient.apple ([37.166.8.22]) by mrelayeu.kundenserver.de (mreue012 [212.227.15.168]) with ESMTPSA (Nemesis) id 1MpTpc-1pLHMo1Vka-00psMJ; Sat, 12 Nov 2022 18:57:34 +0100 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Jean Abou Samra Mime-Version: 1.0 (1.0) Subject: Re: bug#59221: (file-exists? #f) raises an exception Date: Sat, 12 Nov 2022 18:57:20 +0100 Message-Id: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> References: <87y1sghxm2.fsf@dismail.de> In-Reply-To: <87y1sghxm2.fsf@dismail.de> To: Joshua Branson X-Mailer: iPhone Mail (20A380) X-Provags-ID: V03:K1:7/ClSmQGZpJnMyqJwJjiTE1B8V5mRYYE4n5KKjQyHb5wlLDrfI8 iANLC5f4eH5ebearTyveAmB8bXrxdfn5KDv4+KGU2o8/EoAyOm54spLA0of57dmJ73nc25D MuZ3y6qDLKK3s+B/yUWJi9a/CHxP7/1l3WhvUQjkq+ig3zlnTMVUlYyH/9wKxUJduioj355 Je1AxSva/xjt0/em1gSNA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:GJVnpmna7zA=:cMznvvg4WsHYEpAfDYCIro XoYTq6jjBuvDT3ILnz9Pfb5bKmu2JTkSl+WugdDVPsP33WjJUQkjrS3yBSOFhEvKGggjkPDZe +Lr13yPG2cyatSqErVhTP7fDi3WqFcZ7k1nVKyGmRcuu8JWhfkyV0buGQPzcrxXFAe1smILmk ylV57AjqDQrXJMJyiy/YeA8g4SfmPtRi/5S3n8fREGtmFKHHf/1ObbeXfu9PFZdXfsBk7zvfM RqFi9JrzPmTP8WUKtfznuJetqr5zRPc/OxPG40xZcwsqgZxK0LHrmAka3Ix9xCEHnM9HFy6kK SJZmAvB1hs5SX0v7Ax7P74d8qIImLphgYRGwyAgKxLoYC2VltLwyREgjA8LZoCLTUAk7fxYqs 9vtXq9+4oeYiSxcuMFLLZAwRBsaPFH660QdwFGiX2tPLL3brE0CDw9NVlrMHK1CxWnErSpKXu JrK5i/ntdQxJwYGc4OdsjjKR5/HzoQ1niZAYpapvhFv/ToQHQcUhhyy3P4DbQy80IzlIfDGKt Er2HkUq9mmmCAW60E7nqijvsL8sIMzamQ7AGKcmeWiPIFNhCw1XZ1DjxgY4eb0IGoDm+tXItZ o7AncTLpUgOJpCRjZVsUrwtvYx6GeH6Xmyj1NiCd4XkSF9XefH/SDCh+rgQvDvqK/iy1qFmOs IJfzdiTRn7Sck6LWWZSGkOW4Z572C5S4nRZClU3G5/W3U8FO9I3tqvUSh2GTjAmugkBA4YY2t R98o2hLDErqvG7Izr6iuaFZ8Q1TvEnP+5hU0sYNUjcDKCGfnwRN0usOHEBqarBiQaPbovAEAv AtanDqjc4hLpJ33jz4Celob+svq762B2Hkkbv4WdBeZX6gzhkvDEoq1ZZj2lfXyPEB9ITQmnW 47I4ryyLINL9IW0P8SmFULIG3lo6qTNWaAJKgJ2q0kbVcfP0DmQk7XFNCaAPZhBquvFgLAIby JqMP2ilm1Cel3OtMiXajGIfV1WYvICvgxRT4KRdKgd61PJ+laY6u4lQsSxiqrfmMwAosLxsPz vf0I6ecIOBUhQsgR7+9bX5H/k4/1qBiXP9Onj37ypC89RcNjLRDQZOu3DwBR5ME1CDvbGxVmU G22wAmL4kGBRZGDeFO3ZQz+dLug+WpSfY9diQi+6m+5TTNftEExWRP6xTx0jhmmwogQjBvkqC u4YdHw+xkH1QGqU8F/da19/ab8PgFO99h9SqUev6zF3kvlvx+rbqU09vSrGC6L45U33aJ82Iv IJmk183/k+rc2mMIPRNgQm5NU8ouqylsLlu6ev0ujzY+VnWv4WbOm/RS93yVdxp+axpIPYP3M VrR5OTVh X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 59221 Cc: 59221@debbugs.gnu.org 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 (-) > Le 12 nov. 2022 =C3=A0 18:50, Joshua Branson via Bug reports for GUILE, GN= U's Ubiquitous Extension Language a =C3=A9crit : >=20 > =EF=BB=BF > Hello you lovely guile people! >=20 > This bug is so simple the subject line says it all! >=20 > file-exists? is a predicate, but >=20 > #+BEGIN_SRC scheme > (file-exists? #f) > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > In procedure stat: Wrong type argument in position 1 (expecting open file p= ort): #f >=20 > Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue. > #+END_SRC >=20 > I will shortly tag this as "easy". Can you lovely maintainers give me > about a week to try to fix this myself? >=20 > Thanks, >=20 > Joshua > avid fantany reader What=E2=80=99s the problem here? It is normal for predicates to be defined only on certain types. You will fi= nd the same with positive?, string-null? and the like. Regards, Jean From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 12 21:15:55 2022 Received: (at 59221) by debbugs.gnu.org; 13 Nov 2022 02:15:55 +0000 Received: from localhost ([127.0.0.1]:49656 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ou2XL-0005Lz-3c for submit@debbugs.gnu.org; Sat, 12 Nov 2022 21:15:55 -0500 Received: from mx2.dismail.de ([159.69.191.136]:26703) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ou2XI-0005Lg-GT for 59221@debbugs.gnu.org; Sat, 12 Nov 2022 21:15:53 -0500 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id f273dcf4; Sun, 13 Nov 2022 03:15:45 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc:in-reply-to:references; s=20190914; bh=UQuUypKNsT3QTmI6iu3iOFuUJgC4eOZy6p5anmWln/E=; b=iBnQzkWCv5Yr 1kk0gWWROOLH+qlmgirYf0njqvGywgr5MgkFJui2AvsGMzUmo7d+VscGCNCks50H wCWaRlrQeSZdraQ4AdQONebk64pAiz25VzPAyl/bWdfJQP6D2ifzAtPesy8k506M g+APnfHpV+WULRBZMl2XiT+vOQUWmHdppYRcdAcwJQGv2P0yIGm9OUfkH7PIaTQB d1lWzMLW1TOuTxJ404vFd7pLPyJ7WfQgfpFcgozYqPS+qij2E+ytxiXTKDApc8KX BocyQAqvfWK7/E+uaQBK36C+mSbPhq2YebtG0SkyqmYgntGA/b+CcyGXjGzs47l/ Ke8wkMO7Fg== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx2.dismail.de (OpenSMTPD) with ESMTP id c076c892; Sun, 13 Nov 2022 03:15:44 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 72396182; Sun, 13 Nov 2022 03:15:44 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id d183c269 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sun, 13 Nov 2022 03:15:43 +0100 (CET) MIME-Version: 1.0 Date: Sun, 13 Nov 2022 02:15:43 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.16.0a From: jbranso@dismail.de Message-ID: <8627ff0decc84502a4325fd64a425feb@dismail.de> Subject: Re: bug#59221: (file-exists? #f) raises an exception To: "Jean Abou Samra" In-Reply-To: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> References: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> <87y1sghxm2.fsf@dismail.de> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 59221 Cc: 59221@debbugs.gnu.org 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: -3.3 (---) November 12, 2022 12:58 PM, "Jean Abou Samra" wrote: >> Le 12 nov. 2022 =C3=A0 18:50, Joshua Branson via Bug reports for GUILE= , GNU's Ubiquitous Extension >> Language a =C3=A9crit : >>=20 >>=20Hello you lovely guile people! >>=20 >>=20This bug is so simple the subject line says it all! >>=20 >>=20file-exists? is a predicate, but >>=20 >>=20#+BEGIN_SRC scheme >> (file-exists? #f) >> ice-9/boot-9.scm:1685:16: In procedure raise-exception: >> In procedure stat: Wrong type argument in position 1 (expecting open f= ile port): #f >>=20 >>=20Entering a new prompt. Type `,bt' for a backtrace or `,q' to continu= e. >> #+END_SRC >>=20 >>=20I will shortly tag this as "easy". Can you lovely maintainers give m= e >> about a week to try to fix this myself? >>=20 >>=20Thanks, >>=20 >>=20Joshua >> avid fantany reader >=20 >=20What=E2=80=99s the problem here? >=20 >=20It is normal for predicates to be defined only on certain types. You = will find the same with > positive?, string-null? and the like. Perhaps I am just being really pedantic. I asked in the #guile irc chat = if a predicate should=20 be=20able to raise an exception. The answer I was given was no. Admittedly I did not stay in the channel for long, and I quickly filed th= is bug report. Naively, it just feel like it (file-exists? #f) should return #f. Would there be an objection to changing the definition of file-exists to= =20=20 (define=20(file-exists file) (and (string? file) (old-file-exists-code file))) Thanks, Joshua >=20 >=20Regards, > Jean From debbugs-submit-bounces@debbugs.gnu.org Sun Nov 13 01:44:28 2022 Received: (at submit) by debbugs.gnu.org; 13 Nov 2022 06:44:28 +0000 Received: from localhost ([127.0.0.1]:49922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ou6jD-00061O-Oi for submit@debbugs.gnu.org; Sun, 13 Nov 2022 01:44:28 -0500 Received: from lists.gnu.org ([209.51.188.17]:41092) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ou6jC-00061H-PI for submit@debbugs.gnu.org; Sun, 13 Nov 2022 01:44:27 -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 1ou6jB-0008UX-SX for bug-guile@gnu.org; Sun, 13 Nov 2022 01:44:26 -0500 Received: from mail.tuxteam.de ([5.199.139.25]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ou6j8-0004Pw-Om for bug-guile@gnu.org; Sun, 13 Nov 2022 01:44:25 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tuxteam.de; s=mail; h=From:In-Reply-To:Content-Type:MIME-Version:References:Message-ID: Subject:To:Date:Sender:Reply-To:Cc:Content-Transfer-Encoding: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=VHpgUXcAQqSxbWTLYu+7zj+uS4koyYgWbzqiNL1LPyc=; b=aOPKWuhKUgm/YuRSTl6cM9pdVj /DOfKRPwbMByKcEvnrbIFgiopg55CCLUrDb8ZS3HblEBxwJEH/nKHVVGBXPInAu92iAfD2R0hsLKx wuBarxoBZ/TBM6UO/T8xw9yjYLqCbI9QE8zne70u7U3icXKdiZ32IkL2rSq6c3QnHKVxR/GIPosvt WrkrHFttLhtx7iUcbz+Jx/61SfI6GBHngmCxxwvvZtbk72ByIYtBL3DXmZJ+PL+VFvyX3dpPuy75m X5WqOvecAyOlkyPu7c2tNKe8D23ZNdv8wWYcWRmFUV4llb6rMfqDCE7x0GqYMlTT7Vob59yIBDmfy jdRVLivQ==; Received: from tomas by mail.tuxteam.de with local (Exim 4.94.2) (envelope-from ) id 1ou6j4-0003KT-UN for bug-guile@gnu.org; Sun, 13 Nov 2022 07:44:18 +0100 Date: Sun, 13 Nov 2022 07:44:18 +0100 To: bug-guile@gnu.org Subject: Re: bug#59221: (file-exists? #f) raises an exception Message-ID: References: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> <87y1sghxm2.fsf@dismail.de> <8627ff0decc84502a4325fd64a425feb@dismail.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="5QtwYsJpov66GQaD" Content-Disposition: inline In-Reply-To: <8627ff0decc84502a4325fd64a425feb@dismail.de> From: Received-SPF: pass client-ip=5.199.139.25; envelope-from=tomas@tuxteam.de; helo=mail.tuxteam.de 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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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: -2.3 (--) --5QtwYsJpov66GQaD Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Nov 13, 2022 at 02:15:43AM +0000, jbranso--- via Bug reports for GU= ILE, GNU's Ubiquitous Extension Language wrote: > November 12, 2022 12:58 PM, "Jean Abou Samra" wrote: >=20 > >> Le 12 nov. 2022 =C3=A0 18:50, Joshua Branson via Bug reports for GUILE= , GNU's Ubiquitous Extension > >> Language a =C3=A9crit : > >>=20 > >> Hello you lovely guile people! > >>=20 > >> This bug is so simple the subject line says it all! [file-exists? raises exception on #f] [...] > > It is normal for predicates to be defined only on certain types. You wi= ll find the same with > > positive?, string-null? and the like. >=20 > Perhaps I am just being really pedantic. I asked in the #guile irc chat = if a predicate should=20 > be able to raise an exception. The answer I was given was no. You both have a point. Checking for existing predicates with a longer tradition, though: scheme@(guile-user)> (exact? "mumble") ice-9/boot-9.scm:1685:16: In procedure raise-exception: In procedure exact?: Wrong type argument in position 1: "mumble" seems to support Jean Abu's position that it is more customary to raise for an argument of the wrong type. Also `string) id 1ouAJe-0005iz-CV for submit@debbugs.gnu.org; Sun, 13 Nov 2022 05:34:18 -0500 Received: from mout.kundenserver.de ([212.227.126.131]:56969) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ouAJd-0005io-1q for 59221@debbugs.gnu.org; Sun, 13 Nov 2022 05:34:17 -0500 Received: from [172.20.10.5] ([37.171.183.76]) by mrelayeu.kundenserver.de (mreue011 [212.227.15.168]) with ESMTPSA (Nemesis) id 1McGtA-1pWWPG2AtY-00clg6; Sun, 13 Nov 2022 11:34:10 +0100 Message-ID: <1b3d4aa0-139c-1491-cd08-57055b9bec7a@abou-samra.fr> Date: Sun, 13 Nov 2022 11:34:08 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.3.1 Subject: Re: bug#59221: (file-exists? #f) raises an exception To: tomas@tuxteam.de, 59221@debbugs.gnu.org References: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> <87y1sghxm2.fsf@dismail.de> <8627ff0decc84502a4325fd64a425feb@dismail.de> Content-Language: en-US From: Jean Abou Samra In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------LORNHceIb5U8QD0x6qI84aLn" X-Provags-ID: V03:K1:w/F7Iby6LsVN6Q7clLjvzfdhnUs69DwOrYUcv6LLv0T4zQFlJcQ 3jhY8TUWd6slqCT1wIL5mx3e9aJ5MONV0ommtRIOnBty1VS+E1QNShruFAjqEPNPa0Q1Jlq k3FfxHmgXqJM3Q2V67GAtOGYWJxl3F2FwD5/lgphdkGq7oFl/RtGx4AjG0HqsOgy8QGdCRR KTrlBhaG6aRCXL3KWFAqA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:TTwtGjfVx3o=:t63ZwSxJkTMlig7uu8KLbD MAimrnn6zeVM46iXCAWfJ5Gl4d2FdnmvcP5sHRxraRaLlyLxkktQP7HNkPvllaaSifmFIFDOU pIrMidD2yhQ7cTltT4BIM2jP+qWHIKLeNbFsOPr6SxbHCyTrrG7JrSDES6hNDVrLs1m52TwU0 Qd/chM1PIAR7l0ZxiOOK5pP+BZtkeBHhRF405ihtiZdXGURk/nmMr36fqKDrKzYJMPilbQFfy qGPWUMsbZ2sYivoJMAhI+GNOnZFsX+LOq0N7RAJ+AGJXUEkL0sUglOR4gr7WxPXBt1+UVS/H/ ZaLw+/9rAm/B1+nA/wzXNQORn9+2+5JpBX5B86m6Npa3luFRt6uQZZMngtNZQTQ3L4xmzAVoi Ecx6MeDMPAdZ6KfovR3tjs6y/80YHPLajbmi+mYtevZ7O3UbOb/nx/br0Wiz/pVOa78Pg2f8R bzy/xgK+BxQDIa7ZwRzOx4mwIhC8GH73JMyJXVKR1ZZTdbMFQjWPZzVETBvvlSmbfEi1nAvTs W9vRC1d0PF6ceu/bTPV/w+kg4/3M6tkjzJJS6zPkFybhNbGwguowI5c6eXV0C+Q6IXWoXxT+W c4AhFscqjJAfGKBFedm9Ce3vrEj2Dy0z/Zfz9FiNZEiU89ufgdaV3NavLxlE0byTswlOkbshE 7ASRaUbWH1Xvd046pdrsW0ExFHp6rM8qs1r+oEO38ALulHY8yUP3IBsUG3v6EBwcNFM7nKhAn Ak/BOo7zTHHuLBTHj+F0LMe2jg59pU2siY2iZxBKvn2oqTShidOh1XuFQU31HLTaEwcS2wfF4 NbTIa7KUdlnZCTl0kSWFG1zno9yb3JsFWJG6MiouxVoVYS3CVtLDYDa0e7TezoIjfPgUs7YZ9 BP67l0vI+EljFd0k6fr4YQbXWIS592cotBRA6H2FBaf3bbsip1xWWydEnlJW6y46bJhclDpYy kMNpbSdyUK6ubFzIrtGPWq/KG3lWNQOUwNjwLwP15KJoI2MTDHMJ5p+Ac/E0kd5H/uetn9ETD V+ONZDhPHw0hwc/ghkK+7i3mqffI+fHHb9tZnXnmEhnT3Ye4xqexO+O0NBAZkgu/js0k3AUA2 fupVKnCDs6MA6rOu8bmYNl803ksgbVlHnzdlsBI/8DapQOInVa7mJwZSCTXTnsWaJqpyDuD8R a88q+u5u2t96lDdi2QqW1O2tiKd0xwzGEAb7P+CW8P/m9Nou+9Gm5jXUBAqm3xQSCTn2EdHCF 97Q/K7JPl/ObRLMNjF+d/pvnwOuldmXuO4AgBvME+tGdBxT7m8FmI1b3V1fohyFP6ujZzW0xu 9TEYQlRPoeTG1lyK8r3BRfTZ+032eA== X-Spam-Score: -1.8 (-) X-Debbugs-Envelope-To: 59221 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: -2.8 (--) This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------LORNHceIb5U8QD0x6qI84aLn Content-Type: multipart/mixed; boundary="------------vCvJEch8eT7X582TEFeHUBE8"; protected-headers="v1" From: Jean Abou Samra To: tomas@tuxteam.de, 59221@debbugs.gnu.org Message-ID: <1b3d4aa0-139c-1491-cd08-57055b9bec7a@abou-samra.fr> Subject: Re: bug#59221: (file-exists? #f) raises an exception References: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> <87y1sghxm2.fsf@dismail.de> <8627ff0decc84502a4325fd64a425feb@dismail.de> In-Reply-To: --------------vCvJEch8eT7X582TEFeHUBE8 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 TGUgMTMvMTEvMjAyMiDDoCAwNzo0NCwgdG9tYXNAdHV4dGVhbS5kZSBhIMOpY3JpdMKgOg0K PiBZb3UgYm90aCBoYXZlIGEgcG9pbnQuIENoZWNraW5nIGZvciBleGlzdGluZyBwcmVkaWNh dGVzIHdpdGggYQ0KPiBsb25nZXIgdHJhZGl0aW9uLCB0aG91Z2g6DQo+DQo+ICAgIHNjaGVt ZUAoZ3VpbGUtdXNlcik+IChleGFjdD8gIm11bWJsZSIpDQo+ICAgIGljZS05L2Jvb3QtOS5z Y206MTY4NToxNjogSW4gcHJvY2VkdXJlIHJhaXNlLWV4Y2VwdGlvbjoNCj4gICAgSW4gcHJv Y2VkdXJlIGV4YWN0PzogV3JvbmcgdHlwZSBhcmd1bWVudCBpbiBwb3NpdGlvbiAxOiAibXVt YmxlIg0KPg0KPiBzZWVtcyB0byBzdXBwb3J0IEplYW4gQWJ1J3MgcG9zaXRpb24gdGhhdCBp dCBpcyBtb3JlIGN1c3RvbWFyeSB0bw0KPiByYWlzZSBmb3IgYW4gYXJndW1lbnQgb2YgdGhl IHdyb25nIHR5cGUuIEFsc28gYHN0cmluZzw/JywgZXRjLg0KPiBkbyB0aGlzLiBUaGF0IHNl ZW1zIHRvIGJlIHRoZSBjb25zZW5zdXMuDQoNCg0KWWVzLiBJIGFtIG5vdCBzdXJlIHdoZXJl IHRoZSBwZW9wbGUgaW4gdGhlIEd1aWxlIElSQyBnb3QgdGhlIGlkZWENCnRoYXQgYSBwcmVk aWNhdGUgc2hvdWxkbid0IHJhaXNlIGFuIGV4Y2VwdGlvbi4gTG90cyBvZiBwcmVkaWNhdGVz IGluDQpHdWlsZSBkbywgYW5kIHRoYXQgaXMgdmVyeSBoZWxwZnVsIGJlY2F1c2UgaXQgY2F0 Y2hlcyBtaXN0YWtlcy4NCg0KDQo+IE5haXZlbHksIGl0IGp1c3QgZmVlbCBsaWtlIGl0IChm aWxlLWV4aXN0cz8gI2YpIHNob3VsZCByZXR1cm4gI2YuDQoNCg0KV2h5Pw0KDQoNCj4gV291 bGQgdGhlcmUgYmUgYW4gb2JqZWN0aW9uIHRvIGNoYW5naW5nIHRoZSBkZWZpbml0aW9uIG9m IGZpbGUtZXhpc3RzIHRvDQo+DQo+IChkZWZpbmUgKGZpbGUtZXhpc3RzIGZpbGUpDQo+ICAg ICAgKGFuZCAoc3RyaW5nPyBmaWxlKQ0KPiAgICAgICAgICAgKG9sZC1maWxlLWV4aXN0cy1j b2RlIGZpbGUpKSkNCg0KDQoNCkl0IHdvdWxkIGJlIGluY29uc2lzdGVudCB3aXRoIHRoZSBy ZXN0IG9mIEd1aWxlIGFuZCBJIGRvbid0DQpzZWUgd2hhdCBpdCB3b3VsZCBoZWxwIHdpdGgu DQoNCkJlc3QsDQpKZWFuDQoNCg== --------------vCvJEch8eT7X582TEFeHUBE8-- --------------LORNHceIb5U8QD0x6qI84aLn Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQSZ7TKxnKGyBvBjzBmj8PYLiTOX/gUCY3DIIAUDAAAAAAAKCRCj8PYLiTOX/hRC AQCBvuZtMr2+b4Ooez2VVn/m3qJUNyDlMHTju7Vd+5lTVAD/SciS1bK8txupqn9BOtIOQ1PNiIoF 930OhntzsUiYUAs= =hary -----END PGP SIGNATURE----- --------------LORNHceIb5U8QD0x6qI84aLn-- From debbugs-submit-bounces@debbugs.gnu.org Wed Nov 16 10:27:47 2022 Received: (at 59221) by debbugs.gnu.org; 16 Nov 2022 15:27:47 +0000 Received: from localhost ([127.0.0.1]:57886 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ovKKJ-0003YL-CZ for submit@debbugs.gnu.org; Wed, 16 Nov 2022 10:27:47 -0500 Received: from mx2.dismail.de ([159.69.191.136]:45383) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ovKKG-0003Y1-Vf for 59221@debbugs.gnu.org; Wed, 16 Nov 2022 10:27:45 -0500 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id edb7b6db; Wed, 16 Nov 2022 16:27:37 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:in-reply-to:references:date:message-id:mime-version :content-type:content-transfer-encoding; s=20190914; bh=5erTYL1y unOlKVJ6/F2H8Os+1IV+u4qfHAw/8mzPQLU=; b=Kor3+pKyXIlP2AgIyBwHZ5D2 0gyWjS07gxBYOnn+ASY8b0CjGVXblAgwQNM/A0FT78kkZZI+a1V3Vf496VyIX2P1 i+8qhocYLx7EviMxAddRBlR5PNIAjffW9fxL1Yn1UEVbI82KII+Unp5t1vMhSqKk 75JiRLOG0ZDztqa4cdC2L60+Ye936bxihDTiR8YnVqKub61JZMNprkombASM0OBD MOeK49DDc/O6JWzhSWhw0xIon1oot7K8jP8rbtgFTdZnZzmeOCxJ4Wq6n6Kt9Xzb ZQiqY+l/sVs1H41Z50FyX9rkZ41QNqWSIaI9CnG7i1xvO04WmeA9MsG8ItS7TQ== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 67c0dd97; Wed, 16 Nov 2022 16:27:37 +0100 (CET) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id b1e117a1; Wed, 16 Nov 2022 16:27:36 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 90b884ec (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Wed, 16 Nov 2022 16:27:36 +0100 (CET) From: Joshua Branson To: Jean Abou Samra Subject: Re: bug#59221: (file-exists? #f) raises an exception In-Reply-To: <1b3d4aa0-139c-1491-cd08-57055b9bec7a@abou-samra.fr> (Jean Abou Samra's message of "Sun, 13 Nov 2022 11:34:08 +0100") References: <1D1C3D58-0BC7-40C2-AC1A-38E59C53FE00@abou-samra.fr> <87y1sghxm2.fsf@dismail.de> <8627ff0decc84502a4325fd64a425feb@dismail.de> <1b3d4aa0-139c-1491-cd08-57055b9bec7a@abou-samra.fr> Date: Wed, 16 Nov 2022 10:27:34 -0500 Message-ID: <87bkp62a3d.fsf@dismail.de> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 59221 Cc: 59221@debbugs.gnu.org, tomas@tuxteam.de 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: -3.3 (---) Jean Abou Samra writes: > Le 13/11/2022 =C3=A0 07:44, tomas@tuxteam.de a =C3=A9crit=C2=A0: >> You both have a point. Checking for existing predicates with a >> longer tradition, though: >> >> scheme@(guile-user)> (exact? "mumble") >> ice-9/boot-9.scm:1685:16: In procedure raise-exception: >> In procedure exact?: Wrong type argument in position 1: "mumble" >> >> seems to support Jean Abu's position that it is more customary to >> raise for an argument of the wrong type. Also `string> do this. That seems to be the consensus. > > > Yes. I am not sure where the people in the Guile IRC got the idea > that a predicate shouldn't raise an exception. Lots of predicates in > Guile do, and that is very helpful because it catches mistakes. > > >> Naively, it just feel like it (file-exists? #f) should return #f. > > > Why? > hmmm, somehow I missed your response. I guess for my simple use case, it just made more sense. I am defining a service for guix that asks for user input. If the user doesn't type in input, the default value was #f. That's fine. Thanks for all's replies. I'll go ahead and close this bug! Thanks! > > >> Would there be an objection to changing the definition of file-exists to >> >> (define (file-exists file) >> (and (string? file) >> (old-file-exists-code file))) > > > > It would be inconsistent with the rest of Guile and I don't > see what it would help with. > > Best, > Jean From debbugs-submit-bounces@debbugs.gnu.org Wed Nov 16 10:30:06 2022 Received: (at control) by debbugs.gnu.org; 16 Nov 2022 15:30:06 +0000 Received: from localhost ([127.0.0.1]:57892 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ovKMX-0003cN-T2 for submit@debbugs.gnu.org; Wed, 16 Nov 2022 10:30:06 -0500 Received: from mx1.dismail.de ([78.46.223.134]:7103) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ovKMW-0003bN-2p for control@debbugs.gnu.org; Wed, 16 Nov 2022 10:30:05 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 64d19e3a for ; Wed, 16 Nov 2022 16:29:56 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to :subject:date:message-id:mime-version:content-type; s=20190914; bh=wahCxLFbUzZeP6u7IRSl1I/Che0c4zpSr0AEGuvThAA=; b=LAs8ln5A70FW d0bBSSSJGDfjcaa58CYYquFLdkCB0MaScdWnw8VIR/anDSq3UnOcbOAuzFXtbbVY GKOrfqMQT4DaDsalSXNhzSXnMvFSFxc0RKkCJ5UUkPQxp6CswQt23NRpEFMR0dfw JqGgOOU0nxATrVTspnnYEcRIaIqbBRADkuaYgdGuLG0d/SX6QbNWLJF8O0QtcYGp OYVMZrZi5x2/sIu7hoq/xdwLn8S/u9juUG8HdNbk1LgSXWepHE7GcozPPY7zNF4Z tjspPMUhMNQkITpPz55vXFf+AJfRoPErZfsudMQ8K4B0mpytajrOfuBA57tNCHgA 6wW3XtBZ0g== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 689f10a6 for ; Wed, 16 Nov 2022 16:29:56 +0100 (CET) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id d3e60ca9 for ; Wed, 16 Nov 2022 16:29:56 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 0c38ad88 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Wed, 16 Nov 2022 16:29:55 +0100 (CET) From: Joshua Branson To: control@debbugs.gnu.org Subject: control message for bug #59221 Date: Wed, 16 Nov 2022 10:29:53 -0500 Message-ID: <875yfe29zi.fsf@dismail.de> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) 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.7 (-) close 59221 quit From unknown Tue Jun 17 22:27:00 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 15 Dec 2022 12:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator