From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x534.google.com (mail-ed1-x534.google.com [IPv6:2a00:1450:4864:20::534]) by sourceware.org (Postfix) with ESMTPS id 9919F3858D37 for ; Sat, 7 Oct 2023 16:59:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 9919F3858D37 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ed1-x534.google.com with SMTP id 4fb4d7f45d1cf-5344d996bedso5648249a12.3 for ; Sat, 07 Oct 2023 09:59:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696697976; x=1697302776; darn=sourceware.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=mEGNCrdP9XSNGEbBBfr+dQxHUmiGRgaZJ3zxuTzXnb0=; b=Y6THBOoAfhhj2h17BnBEHDNqo3+Hh+SX/dFbAgofKjOo18ROrsrRri/V54pS45Usz/ 26KwCxzOfohq1ctzeJDUFcmAIet4jKgZX79AL0nowe98kwh/qu5n0QI6h7iGVRaNAQHF 4Vdm225UDI8II9NkGh+FEPrw6/vMq5pzfoQjeI0XIU+Ef10NnxRm6ljstqpJiXgpyAdy Dl9+O14yPnY3BmNr3LH0p1i0yU1llF3ZaNZAxNo/mROTMGbQv0dzP5eKsIKM5/RRQYT8 U0PJc3tchEcdGF9B4870mvICtZrPjKxH5XV3x1bZrsrJWARmmq0Yx733X0wcvZoqOpkn b+Ew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696697976; x=1697302776; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=mEGNCrdP9XSNGEbBBfr+dQxHUmiGRgaZJ3zxuTzXnb0=; b=g556W6g8rqi9AAGSCcuu/BHR2hEaeWofkBL1uSqCRF4Z5UMk1udwgXekT5cSQmV++K oExtvl6emq7HyH1hHebKgAbFp3h4flmjuw9y+BsTmlmMycPcdyG3ndgWWhdwCnVSRZHh imV7mLa4HYTYJuXcedSSKjnSTuiyup1UezsV81nAOOnqsyj4pDvzaSdX2JKMJvcN9uWB 1TxhcTFUvqwWyvYlvc/s74Y+pyJ+B2FAoatRz1LNMxTIeJW+/LsvLp7WOSC+o4+D8nq1 hM0AeakMjXLyp1UZ5UDGoilhXif8HaAa2G43lMwsb1xgMwaictrDzv/Utl0dY4SPvLM6 wIRA== X-Gm-Message-State: AOJu0Yz/dvWI3oQFu+qRJ14G+9hc35OaO+ChgEOFsqCoKlu49NUYaFHA QMviy8QdANskPRRXIKAmgFvlbToimqnyzY/MI7q3HvBsAtI= X-Google-Smtp-Source: AGHT+IFZw7y1Bm4l1d8yfPDmoH5vgd3zOab2rlIBFyTyX4mx+L0z2rLsiFcZSoqJNQWz2jvCDBWsYfq8HtoUAnXaN7M= X-Received: by 2002:a05:6402:b35:b0:530:7ceb:334 with SMTP id bo21-20020a0564020b3500b005307ceb0334mr9667246edb.3.1696697975953; Sat, 07 Oct 2023 09:59:35 -0700 (PDT) MIME-Version: 1.0 References: <2dee812b-56a9-bba0-bb63-666f8866007b@bothner.com> <60ec5fc4-bad7-97f6-dbf8-455e787e3380@bothner.com> In-Reply-To: <60ec5fc4-bad7-97f6-dbf8-455e787e3380@bothner.com> From: Damien Mattei Date: Sat, 7 Oct 2023 18:59:24 +0200 Message-ID: Subject: Re: unrecognized syntax: type[args] To: Per Bothner Cc: kawa mailing list Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-0.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,KAM_SHORT,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,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: yes it is what i was understanding and verifying: https://www.gnu.org/software/kawa/tutorial/Types.html |kawa:21|# (define x (int[] 1 2 3)) #|kawa:22|# x [1 2 3] i discover that: #|kawa:23|# (define x (($bracket-apply$ int) 1 2 3)) #|kawa:24|# x [1 2 3] yes i can redefining , that was in my code , but it fails, probably one of my definition used it before redefinition , i will test that and in the worse case use another keyword than $bracket-apply$ when curly-infix2prefix.scm parse the [ ] and convert it in prefix.... On Sat, Oct 7, 2023 at 6:42=E2=80=AFPM Per Bothner wrote: > > In Kawa $bracked-apply$ is a pre-defined macro - but it is not hard-wired= . > You can re-bind it to something else. You probably should. > Either that, or change the reader to conervt foo[args] to something diffe= rent. > -- > --Per Bothner > per@bothner.com http://per.bothner.com/