From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: jbranso--- via "Bug reports for GUILE, GNU's Ubiquitous Extension Language" Newsgroups: gmane.lisp.guile.bugs Subject: bug#46014: (define (thunk) (lambda (x) x)) should be a compile error? Date: Sat, 23 Jan 2021 10:17:25 -0500 Message-ID: <87bldfznqy.fsf@dismail.de> References: <87h7nb3v0g.fsf@dismail.de> <87bldil7fo.fsf@elephly.net> <87eeie2gs1.fsf@dismail.de> <878s8mkjsk.fsf@elephly.net> <87o8hhyqo3.fsf@dismail.de> <87v9bnk87q.fsf@mdc-berlin.de> Reply-To: Joshua Branson Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="36495"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) Cc: 46014@debbugs.gnu.org To: Ricardo Wurmus Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Sat Jan 23 16:18:09 2021 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 1l3Kfw-0009KY-7q for guile-bugs@m.gmane-mx.org; Sat, 23 Jan 2021 16:18:08 +0100 Original-Received: from localhost ([::1]:32944 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l3Kfv-0002o0-5r for guile-bugs@m.gmane-mx.org; Sat, 23 Jan 2021 10:18:07 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45972) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l3Kfq-0002nK-RW for bug-guile@gnu.org; Sat, 23 Jan 2021 10:18:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:51610) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1l3Kfq-0001eF-Jx for bug-guile@gnu.org; Sat, 23 Jan 2021 10:18:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1l3Kfq-0007Nr-GS for bug-guile@gnu.org; Sat, 23 Jan 2021 10:18:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Joshua Branson Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sat, 23 Jan 2021 15:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46014 X-GNU-PR-Package: guile X-Debbugs-Original-Cc: bug-guile@gnu.org, 46014@debbugs.gnu.org Original-Received: via spool by 46014-submit@debbugs.gnu.org id=B46014.161141506028341 (code B ref 46014); Sat, 23 Jan 2021 15:18:02 +0000 Original-Received: (at 46014) by debbugs.gnu.org; 23 Jan 2021 15:17:40 +0000 Original-Received: from localhost ([127.0.0.1]:34920 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l3KfT-0007N2-Ru for submit@debbugs.gnu.org; Sat, 23 Jan 2021 10:17:40 -0500 Original-Received: from mx1.dismail.de ([78.46.223.134]:4507) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l3KfR-0007Mh-B6 for 46014@debbugs.gnu.org; Sat, 23 Jan 2021 10:17:38 -0500 Original-Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 8c5d0f21; Sat, 23 Jan 2021 16:17:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=20190914; bh=GgyGf7xfPFWzBMuWVqq4Th8N3tBE6SJ9oJ 1/wohAeNQ=; b=GMKROb65jmIwS8VNdh0Zc1IMpCU0A/x9cXpI4HobQnfy20BuN7 Y6XjXvn3gk5qznejWLLxKQIcpSNRgEg4yoEGZ+k4OPApxac/e2UZmHDtyJjVQNmj MUALpNhOHRnqHS8I/Nsc0q+RELUgFAicN9odYE03eA4Un7bvHpLDXA8ray32b1yf 1NMotehfARQXlUgJKuNPR2E5Q5MMEw25soQT6LD0ykP76pLSv2vWn+q+Pj5MkgEa P0EK8mRO6mvT6vCsLjCF1BoSOLeeaWoGND95/UjroqMUCtkvMu4TQVtQLeCU4H6y HekcWvplsb7xX9TTC734E6oJQGmqgJxEK5/A== Original-Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 35cddfac; Sat, 23 Jan 2021 16:17:26 +0100 (CET) Original-Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 3ded62d0; Sat, 23 Jan 2021 16:17:29 +0100 (CET) Original-Received: by dismail.de (OpenSMTPD) with ESMTPSA id f4593fe5 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sat, 23 Jan 2021 16:17:28 +0100 (CET) In-Reply-To: <87v9bnk87q.fsf@mdc-berlin.de> (Ricardo Wurmus's message of "Sat, 23 Jan 2021 16:02:01 +0100") 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:9968 Archived-At: Hey Ricardo! Thanks for taking the time to explain that thunk is a procedure with no arguments, and that the first x is not used in some of those procedures. Feel free to close this bug report. I don't believe I was able to demonstrate any examples of the compiler misbehaving. Thanks! -- Joshua Branson (joshuaBPMan in #guix) Sent from Emacs and Gnus https://gnucode.me https://video.hardlimit.com/accounts/joshua_branson/video-channels https://propernaming.org "You can have whatever you want, as long as you help enough other people get what they want." - Zig Ziglar