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: Bug in documentation for eq? ? Date: Wed, 20 Jun 2012 16:22:43 +0200 Message-ID: <877gv22hcc.fsf@pobox.com> References: <87vcimb70s.fsf@fencepost.gnu.org> <87oboe2qti.fsf@pobox.com> <87r4tab4m6.fsf@fencepost.gnu.org> <87k3z22kdf.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1340202198 16281 80.91.229.3 (20 Jun 2012 14:23:18 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 20 Jun 2012 14:23:18 +0000 (UTC) Cc: David Kastrup , guile-devel@gnu.org To: Noah Lavine Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Jun 20 16:23:17 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ShLoR-0003kK-Kd for guile-devel@m.gmane.org; Wed, 20 Jun 2012 16:23:15 +0200 Original-Received: from localhost ([::1]:60061 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShLoR-0004r9-9B for guile-devel@m.gmane.org; Wed, 20 Jun 2012 10:23:15 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:33231) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShLoJ-0004pT-85 for guile-devel@gnu.org; Wed, 20 Jun 2012 10:23:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ShLoA-0005b1-S2 for guile-devel@gnu.org; Wed, 20 Jun 2012 10:23:06 -0400 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62]:37970 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShLo2-0005Zg-Kd; Wed, 20 Jun 2012 10:22:50 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by b-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 4B5C7CB19; Wed, 20 Jun 2012 10:22:47 -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=wqNPp7In1IAePGW1qW8/sDdZ2Go=; b=AP3AaL 3RQbfS3rV1GoJNYqpDTL+Ic1gZPOTG6xAb4JydNJEsFpdqdcLwRI+nR3tm/hcNKo gkmNON/M+QCrYg6yCxXXSAhXSHoM5kpZbnDQlA7QT+oCbvbk5qo+dXqVnPi8BQTC a9LEpdcMSxHygvZS7wDaa0mscvsllij+cxXqU= 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=YyXfZQuc53HulnpUphyWxIy0BLH1XkWs KjlQOXR10RoEF9Ex6mPEE+uDIoxjnEkulA3ysb1j4MM6WHuNK4+/VcFkD1TNJcCC e0je4tF4jQ2lvrny9GJET359y9IErlQrXUo3ZctrH48F2raViB0UM/ahofe/aFVb 0sinjzKqDcQ= Original-Received: from b-pb-sasl-sd. (unknown [127.0.0.1]) by b-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 42FB6CB17; Wed, 20 Jun 2012 10:22:47 -0400 (EDT) Original-Received: from badger (unknown [85.60.193.6]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by b-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id AD0DFCB16; Wed, 20 Jun 2012 10:22:46 -0400 (EDT) In-Reply-To: (Noah Lavine's message of "Wed, 20 Jun 2012 09:41:30 -0400") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) X-Pobox-Relay-ID: 68539C44-BAE3-11E1-BD08-FA6787E41631-02397024!b-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:14647 Archived-At: On Wed 20 Jun 2012 15:41, Noah Lavine writes: > I believe David's claim is that Guile should guarantee that a variable > is eq? to itself, even though the standard doesn't. We could guarantee this, but it would prevent a number of interesting and permissible optimizations, for questionable semantic value. You should not consider variables as having identity, only values. Numbers do not have identity, so Guile can do with them as it pleases. Andy -- http://wingolog.org/