From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18617 invoked by alias); 10 May 2014 16:51:05 -0000 Mailing-List: contact kawa-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: kawa-owner@sourceware.org Received: (qmail 18607 invoked by uid 89); 10 May 2014 16:51:04 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.2 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.2 X-HELO: aibo.runbox.com Received: from aibo.runbox.com (HELO aibo.runbox.com) (91.220.196.211) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Sat, 10 May 2014 16:51:03 +0000 Received: from [10.9.9.206] (helo=mailfront02.runbox.com) by bars.runbox.com with esmtp (Exim 4.71) (envelope-from ) id 1WjAUF-0004AC-Cb for kawa@sourceware.org; Sat, 10 May 2014 18:50:59 +0200 Received: from 70-36-239-203.dsl.dynamic.sonic.net ([70.36.239.203] helo=toshie.bothner.com) by mailfront02.runbox.com with esmtpsa (uid:757155 ) (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.76) id 1WjAU6-0002qi-Ko for kawa@sourceware.org; Sat, 10 May 2014 18:50:50 +0200 Message-ID: <536E58E7.4040000@bothner.com> Date: Sat, 10 May 2014 16:51:00 -0000 From: Per Bothner User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: kawa@sourceware.org Subject: Re: Splicing lists and vectors into argument lists References: <536CFFE6.1080801@bothner.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2014-q2/txt/msg00037.txt.bz2 On 05/10/2014 12:26 AM, Helmut Eller wrote: > On Fri, May 09 2014, Per Bothner wrote: > >> The form '@EXPRESSION' (which is reader syntax >> for ($splice$ EXPRESSION)) > > Is there an option analog to --output-format to change the reader syntax > to something stable and standard? There is a mechanism for for that. Kawa has --r5rs --r6rs and --r7rs command-line options which can tweak the dialect. Right now these options doesn't do much - it looks like it only disables colon notation. There is also a --pedantic option, which currently only affects the XQuery parser, but can be extended. This framework can be extended in various ways. A issue is that initial '@' in a symbol is *not* allowed by R7RS or R6RS. ('@' is a so is not allowed as an initial character.) Thus disabling the '@' reader syntax for splice is not appropriate for a --r7rs flag, which is intended for areas where Kawa conflicts with a strict reading of R7RS, not disabling extensions. In this case we're conflicting with a previous Kawa extension, not any standard. We could consider a more generic flag like --compat=VERSION - i.e. --compat=kawa-1.10. That might promise more than we can deliver, though it can be helpful for occasional frustrations like this. Another possibility: If the main problem you're having is with @ as a single-letter symbol, I could special case a hack for that (e.g. '@' followed by whitespace or ')' or ']'), emitting a once-per-compilation deprecation warning. -- --Per Bothner per@bothner.com http://per.bothner.com/