From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 06 15:07:25 2014 Received: (at submit) by debbugs.gnu.org; 6 Oct 2014 19:07:25 +0000 Received: from localhost ([127.0.0.1]:36005 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XbDcy-00030z-Mo for submit@debbugs.gnu.org; Mon, 06 Oct 2014 15:07:25 -0400 Received: from eggs.gnu.org ([208.118.235.92]:53440) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XbDb8-0002xf-Bj for submit@debbugs.gnu.org; Mon, 06 Oct 2014 15:05:30 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XbDay-0004AW-H9 for submit@debbugs.gnu.org; Mon, 06 Oct 2014 15:05:29 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,UNPARSEABLE_RELAY autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:51219) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbDay-0004AS-DU for submit@debbugs.gnu.org; Mon, 06 Oct 2014 15:05:20 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:55085) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbDas-0006E5-8S for bug-guile@gnu.org; Mon, 06 Oct 2014 15:05:20 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XbDal-000448-1q for bug-guile@gnu.org; Mon, 06 Oct 2014 15:05:14 -0400 Received: from pacujo.net ([83.150.83.132]:58863) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbDak-0003dO-Rl for bug-guile@gnu.org; Mon, 06 Oct 2014 15:05:07 -0400 Received: from elektro.pacujo.net (192.168.1.200) by elektro.pacujo.net; Mon, 6 Oct 2014 22:04:41 +0300 Received: by elektro.pacujo.net (sSMTP sendmail emulation); Mon, 06 Oct 2014 22:04:41 +0300 From: Marko Rauhamaa To: bug-guile@gnu.org Subject: procedure-name bug Date: Mon, 06 Oct 2014 22:04:41 +0300 Message-ID: <87k34d58ae.fsf@elektro.pacujo.net> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.1 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Mon, 06 Oct 2014 15:07:23 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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: -4.1 (----) Consider this program (guile-2.0.11 under Fedora 20): ===begin test.scm======================================================= (define (hello) #f) (format #t "~S\n" (procedure-name hello)) (define (xyz) (define (hello) #f) (format #t "~S\n" (procedure-name hello))) (xyz) ===end test.scm========================================================= If I run: $ guile --no-auto-compile test.scm hello #f $ guile --no-auto-compile test.scm hello #f $ guile test.scm ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0 ;;; or pass the --no-auto-compile argument to disable. [...] hello hello $ guile test.scm hello hello $ guile --no-auto-compile test.scm hello hello Marko From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 06 23:57:21 2014 Received: (at control) by debbugs.gnu.org; 7 Oct 2014 03:57:21 +0000 Received: from localhost ([127.0.0.1]:36099 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XbLto-0000K7-IK for submit@debbugs.gnu.org; Mon, 06 Oct 2014 23:57:20 -0400 Received: from world.peace.net ([96.39.62.75]:55742) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XbLtm-0000Jz-89 for control@debbugs.gnu.org; Mon, 06 Oct 2014 23:57:18 -0400 Received: from c-24-62-95-23.hsd1.ma.comcast.net ([24.62.95.23] helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1XbLtf-0007r6-Hw; Mon, 06 Oct 2014 23:57:12 -0400 From: Mark H Weaver To: control@debbugs.gnu.org Date: Mon, 06 Oct 2014 23:56:50 -0400 Message-ID: <8761fwsfb1.fsf@yeeloong.lan> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 2.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: retitle 18646 procedure-name fails for inner procedures with primitive-eval thanks [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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.0 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: retitle 18646 procedure-name fails for inner procedures with primitive-eval thanks [...] Content analysis details: (2.0 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.8 MISSING_SUBJECT Missing Subject: header 0.2 NO_SUBJECT Extra score for no subject retitle 18646 procedure-name fails for inner procedures with primitive-eval thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 22 04:20:00 2016 Received: (at 18646-done) by debbugs.gnu.org; 22 Jun 2016 08:20:00 +0000 Received: from localhost ([127.0.0.1]:50314 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFdOC-0007M5-4h for submit@debbugs.gnu.org; Wed, 22 Jun 2016 04:20:00 -0400 Received: from pb-sasl1.pobox.com ([64.147.108.66]:60043 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFdOA-0007Lw-28 for 18646-done@debbugs.gnu.org; Wed, 22 Jun 2016 04:19:58 -0400 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 6ABCB194DE; Wed, 22 Jun 2016 04:19:55 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=Umg1GQel1bTCwG0DyqDHKUVbIhw=; b=SvxVBv 2jLbVUf8/2xHOu/ra4N28G48Fv9koclXyJNiR20PgYyvp6kINtkPzC6WavJ6misg Q2C/IKEotYbvGH+OZXPvXnDvkbgnXh8oSd9q8yTz49v/Tdy7aCGUH2p6W0DXGQQK AYUogfdJQfM0Kw5vOB+vS6Y21y1QJLBoaefG0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=buT6uc8sKcmzTe7I7B+IvDzD6T6NnyMa DDKhc+J3jlNdx4pHiJYzYZYMUGuek/6IkIG7YOHwLNcKsz8MQeedQAnlFLRF8BTO tKsyDklXtfX8vSD0bnrXgIXhWafUcX4sk5MxhVeGlfQUJFlJqrNWvWzt2f/mlvv+ RwMoeXTf6CQ= Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 607EE194DD; Wed, 22 Jun 2016 04:19:55 -0400 (EDT) Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl1.pobox.com (Postfix) with ESMTPSA id 74232194DA; Wed, 22 Jun 2016 04:19:54 -0400 (EDT) From: Andy Wingo To: Marko Rauhamaa Subject: Re: bug#18646: procedure-name bug References: <87k34d58ae.fsf@elektro.pacujo.net> Date: Wed, 22 Jun 2016 10:19:47 +0200 In-Reply-To: <87k34d58ae.fsf@elektro.pacujo.net> (Marko Rauhamaa's message of "Mon, 06 Oct 2014 22:04:41 +0300") Message-ID: <87y45xtz30.fsf@pobox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Pobox-Relay-ID: 197FC14C-3852-11E6-A04C-C1836462E9F6-02397024!pb-sasl1.pobox.com X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: 18646-done Cc: 18646-done@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.4 (-) Hi, Thanks for the report. For what it's worth this is fixed in Guile master (2.1.x, will be 2.2, Real Soon Now). It's a little hard to fix in 2.0 though. We would have to rewrite some pieces of the evaluator and the "memoizer", a part of Guile's interpreter. (Guile 2.2 already has these rewrites but it can't be ported back.) I don't think I will have time to do this, sadly. I am closing this one based on the guess that I don't think we will get to this in 2.0, though I would be happy to accept a fix if someone found a way to do it :) Please re-open or file a new bug if you or someone you know will be able to work on a fix for 2.0. Andy On Mon 06 Oct 2014 21:04, Marko Rauhamaa writes: > Consider this program (guile-2.0.11 under Fedora 20): > > ===begin test.scm======================================================= > (define (hello) #f) > (format #t "~S\n" (procedure-name hello)) > > (define (xyz) > (define (hello) #f) > (format #t "~S\n" (procedure-name hello))) > > (xyz) > ===end test.scm========================================================= > > If I run: > > $ guile --no-auto-compile test.scm > hello > #f > $ guile --no-auto-compile test.scm > hello > #f > $ guile test.scm > ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0 > ;;; or pass the --no-auto-compile argument to disable. > [...] > hello > hello > $ guile test.scm > hello > hello > $ guile --no-auto-compile test.scm > hello > hello > > > Marko From unknown Sun Aug 17 00:59:01 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 20 Jul 2016 11:24:04 +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