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: bound identifiers Date: Mon, 16 Jan 2012 22:28:37 +0100 Message-ID: <87d3ajibga.fsf@pobox.com> References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1326749347 1967 80.91.229.12 (16 Jan 2012 21:29:07 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 16 Jan 2012 21:29:07 +0000 (UTC) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Jan 16 22:29:03 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 1Rmu6i-0007zl-8m for guile-devel@m.gmane.org; Mon, 16 Jan 2012 22:28:48 +0100 Original-Received: from localhost ([::1]:51457 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Rmu6h-0000ek-N2 for guile-devel@m.gmane.org; Mon, 16 Jan 2012 16:28:47 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:34029) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Rmu6f-0000ef-8B for guile-devel@gnu.org; Mon, 16 Jan 2012 16:28:46 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Rmu6d-0004l8-Tx for guile-devel@gnu.org; Mon, 16 Jan 2012 16:28:45 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62]:38805 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Rmu6d-0004l3-RJ for guile-devel@gnu.org; Mon, 16 Jan 2012 16:28:43 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 6C7A0852E; Mon, 16 Jan 2012 16:28:42 -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; s=sasl; bh=blOwnxHcoiAaxfIi/bFPY/g9r3A=; b=ZwLgch +/Qd3P6F1d2uJ7GH7zgPZ3N1P4ITgRlnQOcGLNjABvZwMCI6PcPin63AXE2GjOW+ /lMbOFDZcomGn4AtNApj0g3hFFUf1JHQNr7AwWm5trLFrRfrZ8kpoGZtzCST3oIK WxI3i22CbdEfMq5AFB99fhYTwDaXf7uElVZgk= 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=dLuvRIylnutVU/+r74hROoVOFbjGz1h8 Tmajd/r3bPAJTcccw8mMLwEGA00JlDPiXcT/CMNibvNWugY9tPV0hBc99MBNxz84 uaGyUUi/BynSVAe5BuSLURwffeAy/ZUzW9hGoKtKpG+d0ri4mk8EhMY48b2ErFLK tod1SOO5GS8= 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 630BF852D; Mon, 16 Jan 2012 16:28:42 -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 C0704852C; Mon, 16 Jan 2012 16:28:41 -0500 (EST) In-Reply-To: (Stefan Israelsson Tampe's message of "Mon, 16 Jan 2012 20:46:02 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-Pobox-Relay-ID: 0FE83468-4089-11E1-9965-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:13547 Archived-At: On Mon 16 Jan 2012 20:46, Stefan Israelsson Tampe writes: > why are these two not equal in the sense of bound-identifier=? > > #(syntax-object x ((top) #(ribcage () () ()) #(ribcage () () ()) #(ribcage #(x) #((m1104 top)) #("i1105"))) (hygiene guile-user)) > #(syntax-object x ((#f top) shift #(ribcage () () ()) #(ribcage #(x) #((m1104 top)) #("i1105"))) (hygiene guile-user))) One has been anti-marked and the other has not? Meaning that one was made up by your syntax expander, and the other and the other came in as part of the form. But that's not the right question or answer. Can you should where these identifiers come from? Andy -- http://wingolog.org/