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 818A93858401 for ; Fri, 17 Sep 2021 05:30:05 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 818A93858401 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=bothner.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=bothner.com Received: from [10.9.9.74] (helo=submission03.runbox) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1mR6Rn-0006T0-1E; Fri, 17 Sep 2021 07:30:03 +0200 Received: by submission03.runbox with esmtpsa [Authenticated ID (524175)] (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) id 1mR6Rf-0007wL-N0; Fri, 17 Sep 2021 07:29:55 +0200 Subject: Re: define-syntax can only be used with local variables To: phiroc@free.fr Cc: kawa@sourceware.org References: <1475543959.217980716.1631790302735.JavaMail.root@zimbra65-e11.priv.proxad.net> From: Per Bothner Message-ID: <07e807cf-c585-f35a-9cf0-eed36d157bd5@bothner.com> Date: Thu, 16 Sep 2021 22:29:42 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 MIME-Version: 1.0 In-Reply-To: <1475543959.217980716.1631790302735.JavaMail.root@zimbra65-e11.priv.proxad.net> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3.5 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, NICE_REPLY_A, 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.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) 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: Fri, 17 Sep 2021 05:30:07 -0000 On 9/16/21 4:05 AM, phiroc--- via Kawa wrote: > Hi, > I've no idea. The Kawa Developers, if they are are reading this thread, may be able to answer your question. The "Kawa developers" is mostly me, and I'm focused on other projects. The problem is because a new declaration for y is created. And that turned out to be a kludge done to fix this: https://gitlab.com/kashell/Kawa/-/issues/44 See the code in kawa/standard/set_b.java following // A kludge to treat interactive set! as similar to (re-)definition. It probably makes sense to remove this kludge - but then trace/untrace breaks for functions defined in a REPL. A better fix for issue 44 may be possible. Kawa is very focused on efficiency, compilation, and static analysis. A REPL where anything can be redefined is the opposite. Supporting both is difficult. -- --Per Bothner per@bothner.com http://per.bothner.com/