From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.user Subject: Re: Using a macro with FOLD alters FOLD procedure! Date: Thu, 21 Apr 2005 07:35:25 +0100 Message-ID: <426749AD.3090403@ossau.uklinux.net> References: <56190b6c05041511382ae259d@mail.gmail.com> <1113594648.3650.8.camel@cslabpc3.evansville.edu> <56190b6c05041515205fd8b6a@mail.gmail.com> <4260FB26.4080607@ossau.uklinux.net> <87r7h8q5dl.fsf@trouble.defaultvalue.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1114065648 12291 80.91.229.2 (21 Apr 2005 06:40:48 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Thu, 21 Apr 2005 06:40:48 +0000 (UTC) Cc: Guile User List Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Thu Apr 21 08:40:44 2005 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1DOVMO-0001g1-J0 for guile-user@m.gmane.org; Thu, 21 Apr 2005 08:40:25 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1DOVR2-0007w1-8k for guile-user@m.gmane.org; Thu, 21 Apr 2005 02:45:12 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1DOVLo-0006gW-SS for guile-user@gnu.org; Thu, 21 Apr 2005 02:39:49 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1DOVLk-0006es-VF for guile-user@gnu.org; Thu, 21 Apr 2005 02:39:47 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1DOVLj-0006WP-Ch for guile-user@gnu.org; Thu, 21 Apr 2005 02:39:43 -0400 Original-Received: from [80.84.72.33] (helo=mail3.uklinux.net) by monty-python.gnu.org with esmtp (Exim 4.34) id 1DOVKC-0008KH-Ru for guile-user@gnu.org; Thu, 21 Apr 2005 02:38:09 -0400 Original-Received: from laruns (host81-130-189-32.in-addr.btopenworld.com [81.130.189.32]) by mail3.uklinux.net (Postfix) with ESMTP id 1DC50409FA9; Thu, 21 Apr 2005 06:35:41 +0000 (UTC) Original-Received: from [127.0.0.1] (laruns [127.0.0.1]) by laruns (Postfix) with ESMTP id E61686FF20; Thu, 21 Apr 2005 07:35:25 +0100 (BST) User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050324 Debian/1.7.6-1 X-Accept-Language: en Original-To: Rob Browning In-Reply-To: <87r7h8q5dl.fsf@trouble.defaultvalue.org> X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:4397 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:4397 Rob Browning wrote: > Neil Jerram writes: > > >>FWIW, I agree. In 1.7.x I believe we have more of the infrastructure >>in place to get this right - by which I mean to signal an error if a >>macro is passed in this way. But (having just tried your tests out on >>1.7.x) it's not doing this just yet. > > > I haven't considered it carefully yet, but if fold's only supposed to > take a procedure for kons, then why not just add a check-arg-type > procedure? call for kons? > We could certainly do this, but I think I remember a thread where it was suggested that we treat any occurrence of a macro in non-car position as an error - which would catch the problem more generally. Am I completely imagining this? Neil _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://lists.gnu.org/mailman/listinfo/guile-user