From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from relay1-d.mail.gandi.net (relay1-d.mail.gandi.net [217.70.183.193]) by sourceware.org (Postfix) with ESMTPS id 777CC38582B0 for ; Thu, 7 Jul 2022 16:10:30 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 777CC38582B0 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=robbyzambito.me Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=robbyzambito.me Received: from robby-Ryzen-RX-PC (cpe-104-228-60-53.nycap.res.rr.com [104.228.60.53]) (Authenticated sender: contact@robbyzambito.me) by mail.gandi.net (Postfix) with ESMTPSA id 7839D24000D for ; Thu, 7 Jul 2022 16:10:27 +0000 (UTC) User-agent: mu4e 1.6.11; emacs 28.1 From: Robby Zambito To: kawa@sourceware.org Subject: Adding hash-prefix extensions Date: Thu, 07 Jul 2022 11:36:46 -0400 Message-ID: <87zghk52fi.fsf@robbyzambito.me> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_20, JMQ_SPF_NEUTRAL, KAM_DMARC_STATUS, KAM_INFOUSMEBIZ, KAM_SHORT, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) 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: Thu, 07 Jul 2022 16:10:33 -0000 Hello, I noticed that Kawa has support for hash-prefixed forms (https://www.gnu.org/software/kawa/Hash-prefixed-forms.html). Is this something that can be extended, similar to how Guile supports extending the reader with `read-hash-extend` (https://www.gnu.org/software/guile/manual/html_node/Reader-Extensions.html#Reader-Extensions)? I tried digging around in the Kawa repository but I couldn't find where these hash-prefixed forms are implemented at all. Can they only be implemented on the Java side? Thanks, Robby