From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.bugs Subject: bug#21379: datum->syntax chokes on lists of syntax objects Date: Tue, 01 Sep 2015 21:26:53 -0400 Message-ID: <87613t8vc2.fsf@netris.org> References: <87wpwdgotu.fsf@T420.taylan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1441157302 21519 80.91.229.3 (2 Sep 2015 01:28:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 2 Sep 2015 01:28:22 +0000 (UTC) Cc: 21379@debbugs.gnu.org To: taylanbayirli@gmail.com (Taylan Ulrich "=?UTF-8?Q?Bay=C4=B1rl=C4=B1/Kammer?=") Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Sep 02 03:28:12 2015 Return-path: Envelope-to: guile-bugs@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 1ZWwqR-00081n-DS for guile-bugs@m.gmane.org; Wed, 02 Sep 2015 03:28:11 +0200 Original-Received: from localhost ([::1]:60124 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZWwqR-000575-3v for guile-bugs@m.gmane.org; Tue, 01 Sep 2015 21:28:11 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40491) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZWwqN-00056S-0R for bug-guile@gnu.org; Tue, 01 Sep 2015 21:28:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZWwqI-0000vI-UZ for bug-guile@gnu.org; Tue, 01 Sep 2015 21:28:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:53310) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZWwqI-0000v9-Pn for bug-guile@gnu.org; Tue, 01 Sep 2015 21:28:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1ZWwqI-0004nm-HG for bug-guile@gnu.org; Tue, 01 Sep 2015 21:28:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Mark H Weaver Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Wed, 02 Sep 2015 01:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21379 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 21379-submit@debbugs.gnu.org id=B21379.144115726218432 (code B ref 21379); Wed, 02 Sep 2015 01:28:02 +0000 Original-Received: (at 21379) by debbugs.gnu.org; 2 Sep 2015 01:27:42 +0000 Original-Received: from localhost ([127.0.0.1]:45520 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZWwpx-0004nE-So for submit@debbugs.gnu.org; Tue, 01 Sep 2015 21:27:42 -0400 Original-Received: from world.peace.net ([50.252.239.5]:43809) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZWwpv-0004n5-Cc for 21379@debbugs.gnu.org; Tue, 01 Sep 2015 21:27:40 -0400 Original-Received: from [10.1.10.32] (helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1ZWwpn-0004yr-Um; Tue, 01 Sep 2015 21:27:32 -0400 In-Reply-To: <87wpwdgotu.fsf@T420.taylan> ("Taylan Ulrich \=\?utf-8\?Q\?\=5C\=22Bay\=C4\=B1rl\=C4\=B1\=2FKammer\=5C\=22\=22's\?\= message of "Sun, 30 Aug 2015 10:31:09 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7835 Archived-At: Hi Taylan, You're right that this is a documentation bug, but the intended restriction is that the first argument to 'datum->syntax' must be an identifier, as specified in section 12.6 of the R6RS library report. In fact, in R6RS, the name of the first formal argument is 'template-id'. 'datum-syntax' can't do its job properly with a list structure containing multiple identifiers, because in general, each of those identifiers may have originated in a different place. taylanbayirli@gmail.com (Taylan Ulrich "Bay=C4=B1rl=C4=B1/Kammer") writes: > From 9578ee36ef005f0b96c1d5b120f11c178e341775 Mon Sep 17 00:00:00 2001 > From: =3D?UTF-8?q?Taylan=3D20Ulrich=3D20Bay=3DC4=3DB1rl=3DC4=3DB1/Kammer?= =3D > > Date: Sun, 30 Aug 2015 10:24:52 +0200 > Subject: [PATCH] Amend datum->syntax documentation. > > * doc/ref/api-macros.texi (Syntax Case): Mention that the first argument > to datum->syntax is invalid if it's a compound syntax object, except > when also created with datum->syntax. > --- > doc/ref/api-macros.texi | 7 ++++++- > 1 file changed, 6 insertions(+), 1 deletion(-) > > > diff --git a/doc/ref/api-macros.texi b/doc/ref/api-macros.texi > index c2910a4..9c1f023 100644 > --- a/doc/ref/api-macros.texi > +++ b/doc/ref/api-macros.texi > @@ -618,7 +618,12 @@ But they can, if we explicitly introduce a binding v= ia @code{datum->syntax}. >=20=20 > @deffn {Scheme Procedure} datum->syntax for-syntax datum > Create a syntax object that wraps @var{datum}, within the lexical context > -corresponding to the syntax object @var{for-syntax}. How about changing the first formal argument name to 'template-id' and changing the words "syntax object" to "identifier"? Thanks! Mark