From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from aibo.runbox.com (aibo.runbox.com [91.220.196.211]) by sourceware.org (Postfix) with ESMTPS id 33E1C388F06B for ; Mon, 29 Jun 2020 14:05:31 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 33E1C388F06B Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=bothner.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=per@bothner.com Received: from [10.9.9.74] (helo=submission03.runbox) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1jpuPY-0007gi-UE for kawa@sourceware.org; Mon, 29 Jun 2020 16:05:29 +0200 Received: by submission03.runbox with esmtpsa [Authenticated alias (524175)] (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) id 1jpuPL-0008Cq-Pb for kawa@sourceware.org; Mon, 29 Jun 2020 16:05:16 +0200 Subject: Re: Reader handling of the @ character To: kawa@sourceware.org References: <2def4fdf-cc77-3df6-b91c-2e7b4431b841@bothner.com> From: Per Bothner Message-ID: Date: Mon, 29 Jun 2020 07:05:12 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.9.0 MIME-Version: 1.0 In-Reply-To: <2def4fdf-cc77-3df6-b91c-2e7b4431b841@bothner.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, KAM_SHORT, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: kawa@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Kawa mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 29 Jun 2020 14:05:32 -0000 On 6/28/20 8:04 PM, Per Bothner wrote: > This seems to work: > > (define-syntax test >   (syntax-rules (|@|) >     ((test @ x y z) (list x y z)))) > > The --r7rs flag also works. > In private email I was asked about |@| and --r7rs. The slice operator @expression is converted by the Kawa reader into: ($splice$ expression) The vertical bars in |@| makes @ into a regular symbol and disables the special treatment of the @ character. The --r7rs command-line flag disables Kawa extensions that conflict with strict R7RS compatibility: https://www.gnu.org/software/kawa/Options.html#Options-for-language-selection -- --Per Bothner per@bothner.com http://per.bothner.com/