From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: lloda Newsgroups: gmane.lisp.guile.bugs Subject: bug#41353: (thunk? (const 1)) Date: Sun, 17 May 2020 17:31:22 +0200 Message-ID: <5120B47D-F142-429E-B4D1-6C24B295AFFE@sarc.name> References: <87wo5ay7pp.fsf@fencepost.gnu.org> Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.14\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="95095"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 41353@debbugs.gnu.org To: Jan Synacek Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Sun May 17 17:32:08 2020 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 1jaLGp-000Ocp-Uo for guile-bugs@m.gmane-mx.org; Sun, 17 May 2020 17:32:07 +0200 Original-Received: from localhost ([::1]:59678 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jaLGo-0003te-OC for guile-bugs@m.gmane-mx.org; Sun, 17 May 2020 11:32:06 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:47604) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jaLGk-0003tL-Dg for bug-guile@gnu.org; Sun, 17 May 2020 11:32:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:32781) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jaLGk-0000Xw-4j for bug-guile@gnu.org; Sun, 17 May 2020 11:32:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jaLGk-0004v1-1v for bug-guile@gnu.org; Sun, 17 May 2020 11:32:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: lloda Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sun, 17 May 2020 15:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41353 X-GNU-PR-Package: guile Original-Received: via spool by 41353-submit@debbugs.gnu.org id=B41353.158972949418867 (code B ref 41353); Sun, 17 May 2020 15:32:02 +0000 Original-Received: (at 41353) by debbugs.gnu.org; 17 May 2020 15:31:34 +0000 Original-Received: from localhost ([127.0.0.1]:44327 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jaLGI-0004uF-3v for submit@debbugs.gnu.org; Sun, 17 May 2020 11:31:34 -0400 Original-Received: from mta-13-3.privateemail.com ([198.54.118.204]:15161) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jaLGF-0004tx-Qs for 41353@debbugs.gnu.org; Sun, 17 May 2020 11:31:32 -0400 Original-Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 4D3A980065; Sun, 17 May 2020 11:31:25 -0400 (EDT) Original-Received: from [192.168.1.105] (unknown [10.20.151.207]) by mta-13.privateemail.com (Postfix) with ESMTPA id BD6F480064; Sun, 17 May 2020 15:31:24 +0000 (UTC) In-Reply-To: X-Mailer: Apple Mail (2.3445.104.14) X-Virus-Scanned: ClamAV using ClamSMTP 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" Xref: news.gmane.io gmane.lisp.guile.bugs:9770 Archived-At: > On 17 May 2020, at 16:46, Jan Synacek wrote: >=20 > On Sun, May 17, 2020 at 4:09 PM David Kastrup wrote: >> I think this is more a matter of the documentation being not quite = right: >>=20 >> -- Scheme Procedure: thunk? obj >> -- C Function: scm_thunk_p (obj) >> Return =E2=80=98#t=E2=80=99 if OBJ is a thunk=E2=80=94a procedure = that does not accept >> arguments. >>=20 >> "if OBJ can serve as a thunk=E2=80=94a procedure called without = arguments." >>=20 >> Note that (thunk? (lambda x x)) also returns #t and that ((const 1)) >> returns 1. >=20 > But both (lambda x ...) and (const whatever) are still a procedure = that accepts > an argument, aren't they? My understanding of thunk is (lambda () = ...), > because that's a procedure that takes zero arguments. (lambda x ...) takes any number of arguments, including none.