From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Newsgroups: gmane.lisp.guile.bugs Subject: bug#59221: (file-exists? #f) raises an exception Date: Sun, 13 Nov 2022 07:44:18 +0100 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" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37416"; mail-complaints-to="usenet@ciao.gmane.io" To: 59221@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Sun Nov 13 07:45:36 2022 Return-path: Envelope-to: guile-bugs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1ou6kJ-0009Zx-Vm for guile-bugs@m.gmane-mx.org; Sun, 13 Nov 2022 07:45:36 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ou6jp-000069-Or; Sun, 13 Nov 2022 01:45:05 -0500 Original-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 1ou6jn-00005s-AX for bug-guile@gnu.org; Sun, 13 Nov 2022 01:45:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ou6jm-0004Vw-SI for bug-guile@gnu.org; Sun, 13 Nov 2022 01:45:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ou6jm-00062S-HC for bug-guile@gnu.org; Sun, 13 Nov 2022 01:45:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sun, 13 Nov 2022 06:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59221 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.166832186823155 (code B ref -1); Sun, 13 Nov 2022 06:45:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 13 Nov 2022 06:44:28 +0000 Original-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 Original-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 Original-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 Original-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==; Original-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 Content-Disposition: inline In-Reply-To: <8627ff0decc84502a4325fd64a425feb@dismail.de> 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.bugs:10430 Archived-At: --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