From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Newsgroups: gmane.lisp.guile.devel Subject: Re: Syntax for symbols is more permissive than R6RS Date: Fri, 24 Apr 2009 17:27:51 +0200 Message-ID: <874owexea0.fsf@gnu.org> References: <1240558064.3133.147.camel@localhost.localdomain> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1240586941 18139 80.91.229.12 (24 Apr 2009 15:29:01 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 24 Apr 2009 15:29:01 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Apr 24 17:30:20 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1LxNLz-00049T-A5 for guile-devel@m.gmane.org; Fri, 24 Apr 2009 17:30:15 +0200 Original-Received: from localhost ([127.0.0.1]:43668 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LxNKa-0006dF-6V for guile-devel@m.gmane.org; Fri, 24 Apr 2009 11:28:48 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LxNK4-0006Ld-PM for guile-devel@gnu.org; Fri, 24 Apr 2009 11:28:16 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LxNK0-0006Jm-RR for guile-devel@gnu.org; Fri, 24 Apr 2009 11:28:16 -0400 Original-Received: from [199.232.76.173] (port=60627 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LxNK0-0006Jc-M3 for guile-devel@gnu.org; Fri, 24 Apr 2009 11:28:12 -0400 Original-Received: from main.gmane.org ([80.91.229.2]:58421 helo=ciao.gmane.org) by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1LxNK0-0004IZ-4R for guile-devel@gnu.org; Fri, 24 Apr 2009 11:28:12 -0400 Original-Received: from list by ciao.gmane.org with local (Exim 4.43) id 1LxNJr-0001NL-FP for guile-devel@gnu.org; Fri, 24 Apr 2009 15:28:03 +0000 Original-Received: from 193.50.110.227 ([193.50.110.227]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 24 Apr 2009 15:28:03 +0000 Original-Received: from ludo by 193.50.110.227 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 24 Apr 2009 15:28:03 +0000 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 21 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 193.50.110.227 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 5 =?iso-8859-1?Q?Flor=E9al?= an 217 de la =?iso-8859-1?Q?R=E9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 821D 815D 902A 7EAB 5CEE D120 7FBA 3D4F EB1F 5364 X-OS: i686-pc-linux-gnu User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.90 (gnu/linux) Cancel-Lock: sha1:cCH8Ja9mUh/q3YFrct+dChT52yU= X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:8464 Archived-At: Hi! Mike Gran writes: > I was poking around the reader while working on the Unicode stuff, and I > found that there aren't checks for a lot of symbol names that R6RS > considers to be invalid. It's actually more permissive than R5RS as well. For instance, `1+' and `1-' are not valid R5RS identifiers IIRC. I would be inclined to not change the reader's default behavior, i.e., to remain at least as permissive as in 1.8, so as to not cause gratuitous incompatibility (we could even add unit tests to make sure we don't remove them inadvertently.) However, it may be a good idea to have a reader option asking for strict(er) conformance. Thanks, Ludo'.