From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: syntax-local-value patch for discussion Date: Sat, 07 Jan 2012 01:05:29 +0100 Message-ID: <87obugjs1i.fsf@pobox.com> References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1325894744 23320 80.91.229.12 (7 Jan 2012 00:05:44 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 7 Jan 2012 00:05:44 +0000 (UTC) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Jan 07 01:05:40 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RjJn1-0004WZ-S0 for guile-devel@m.gmane.org; Sat, 07 Jan 2012 01:05:40 +0100 Original-Received: from localhost ([::1]:57378 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RjJn1-0006Mo-AP for guile-devel@m.gmane.org; Fri, 06 Jan 2012 19:05:39 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:36346) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RjJmy-0006Mh-8M for guile-devel@gnu.org; Fri, 06 Jan 2012 19:05:37 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RjJmw-0004Te-Qc for guile-devel@gnu.org; Fri, 06 Jan 2012 19:05:36 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62]:51123 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RjJmw-0004Ta-O0 for guile-devel@gnu.org; Fri, 06 Jan 2012 19:05:34 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 576438FB2; Fri, 6 Jan 2012 19:05:34 -0500 (EST) 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:content-transfer-encoding; s=sasl; bh=/0exXWWKJs8+ OnzEURABzVmmoqs=; b=bTAbVBLCD5TAP7AKoOuZpvMllSO/Kj99TB9qzdW1q3Uv 0LF02Yf6++BawNGbNPHtPL7+V/wDurBpIsEjhf8oQtvJxuMG5NKBu/b0++gkPGmL eVy6biyBjHr1/sMDVsKdQm+R6Td33sox1FGNp7+r68vE3FMN4VQk4wvALNeO+Co= 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:content-transfer-encoding; q=dns; s=sasl; b=TSA1Nk grDM97DdP730NX7FOqywPu88H8YhIem6l6JAA3g4LPkOXEFu19AVSIr+J4cjG+Cb GvDbyTqTaPTcPHjSe26ZhRk4KeaM1At0p/zlQQa17CFm4JrvNOj+DyP5+9GM1Kpl VIvPA3hEtszOvJqHtnPb+yx4VtwjlGYdasAck= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 4F6668FB1; Fri, 6 Jan 2012 19:05:34 -0500 (EST) Original-Received: from badger (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 9F6A28FB0; Fri, 6 Jan 2012 19:05:33 -0500 (EST) In-Reply-To: (Stefan Israelsson Tampe's message of "Mon, 5 Dec 2011 19:12:28 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-Pobox-Relay-ID: 51AFB182-38C3-11E1-B993-65B1DE995924-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 74.115.168.62 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:13375 Archived-At: On Mon 05 Dec 2011 19:12, Stefan Israelsson Tampe = writes: > (define-syntax info > =C2=A0 (lambda (x) > =C2=A0=C2=A0=C2=A0 (syntax-case x () > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ((_ x) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (pk (syntax-binding-info (synt= ax->datum #'x))) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 #'#f)))) I agree with Ian that we should be operating on syntax objects here, not on datums. Also, what should the type of the return value be? Racket implies that it should be a procedure, no? > and calling this in an example lead to > (let-syntax ((a (lambda (x) #'#f))) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (info a)) Does it work on toplevel macros as well? Regards, Andy --=20 http://wingolog.org/