From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailtransmit05.runbox.com (mailtransmit05.runbox.com [IPv6:2a0c:5a00:149::26]) by sourceware.org (Postfix) with ESMTPS id B8D4838708EA for ; Mon, 13 May 2024 14:59:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B8D4838708EA Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=bothner.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=bothner.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org B8D4838708EA Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a0c:5a00:149::26 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1715612369; cv=none; b=klDljWOxONWr4Xjmv3QKKbHZzeXBzeBnQiZY9GCrzBFtmraoSjMvqKkOiB0vMQhLbwki2eRXleB4FUE9rjdvuNjcj5ts9aiIIgv+pNDPHEqTfW44EqoTUcKPHmFTCS/Gyi9g6I3vZoLvFggmiemrny0isWtLQs1st5FT2FNa+Jc= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1715612369; c=relaxed/simple; bh=rgaSwVAd3+6+MGaIuUPBjwGDZkbKPvCudaUTURFyqQw=; h=DKIM-Signature:Message-ID:Date:MIME-Version:Subject:To:From; b=XDiOqiRlHs2zz7jUhKRl3QbNdC7KNvilu8ga7Ha7oDlzKN2IDXb7Zl4DkLiTP5S62nGcIQFaOcMdFbPWPuUbXU7e0q2np0728Pkva1OCPdZ3+7/adcECeWTldhHZ4UBgTvxOWl+hEplyoMh8s0dyoiKDOMl0Y5Umg9E7XJMZoVA= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mailtransmit03.runbox ([10.9.9.163] helo=aibo.runbox.com) by mailtransmit05.runbox.com with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.93) (envelope-from ) id 1s6X97-00CHTp-Ip; Mon, 13 May 2024 16:59:21 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=bothner.com ; s=selector1; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:From: References:To:Subject:MIME-Version:Date:Message-ID; bh=UCFiEBj3VI/Zik7+vVABboZFaqBWGzsYPaiailCuFI0=; b=gfKArUQYhN1ZT/KHEnQYYf8aGC Ven8u9b49vGvn91GKQfnWqG2W1jdqM4sVQigIEKrPbB4pwdR1udvzyGRf/HfLlXA/NQf/qF4+Sziz WapGP0XVQ5ZBoCpY5TojNwrHphwEr7VRAtX+aHLx116pVSVIWdeVlzBGkx2Ej7oWtPPoU2BRDbq7e Rogze3/2Rs4ktIOb+obK8WqHtFf5hyfdzMPinMOSI9fwSly3CF6VJATs3KW4eRQKGstjNDc5FEayU tEGe33HjNwD+SUzTlRcFHfSM1czLgMaagzn1E9q37t5vg/8f/12iolQGESnO+9w2FV8UZrm3fi2x4 UZVRgYvA==; Received: from [10.9.9.74] (helo=submission03.runbox) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1s6X97-0001Nl-3M; Mon, 13 May 2024 16:59:21 +0200 Received: by submission03.runbox with esmtpsa [Authenticated ID (524175)] (TLS1.2:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.93) id 1s6X8z-0079Q6-1B; Mon, 13 May 2024 16:59:13 +0200 Message-ID: Date: Mon, 13 May 2024 07:59:07 -0700 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: syntax? in kawa/scheme To: Damien.MATTEI@univ-cotedazur.fr, kawa References: <36548656-ba14-441d-8467-1e08f6e83194@oca.eu> Content-Language: en-US From: Per Bothner In-Reply-To: <36548656-ba14-441d-8467-1e08f6e83194@oca.eu> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 5/13/24 5:20 AM, Damien Mattei wrote: > hello, > > any idea for a predicate for syntax object in Kawa/scheme like exist in Racket 'syntax?' ? One problem is that everything is a syntax object. You can check if an object implements kawa.lang.SyntaxForm, but other objects are also allowed in syntax values, if they don't need an explicit TemplateScope. -- --Per Bothner per@bothner.com http://per.bothner.com/