From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x535.google.com (mail-ed1-x535.google.com [IPv6:2a00:1450:4864:20::535]) by sourceware.org (Postfix) with ESMTPS id CAB5B3858C54 for ; Sun, 8 Oct 2023 08:12:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org CAB5B3858C54 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-x535.google.com with SMTP id 4fb4d7f45d1cf-53636f98538so6109573a12.1 for ; Sun, 08 Oct 2023 01:12:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696752720; x=1697357520; 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=Bwo581DnuZLBvN9iUqIkoA2KLWtF058Guu8F3qHSdXw=; b=RwY0YS57V7PEz5BqAte85O88uxMlyFSaRyjtyH4x+ULeLhXHKD3oC7115awU3lqBdx HQk7xKDnQCs2HLmj3ZiN6Mu46BUQVO0rKjQNjUXCfl5k5MPb6aYzVnAn7Qo1hXgUeEdY Td8urh06yqC3PrKjvl+K+59jUOcCphh0+wB3296Nd5kfZdeekZ8MvnRY7c7yxUyyvmFM KykvXgx4Hl2gXDEknP0mh4oCrsYsR2Bnk3mVzs9MQC9MQzRHT9j0oYOcN9zGxN+eG66a UZ8563y1ANJKNmu/rCw2WgWKKMnJdf9eV+EHVyePBVhmm/7YDDh/Ncxl5ofF09H2CjFC JvrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696752720; x=1697357520; 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=Bwo581DnuZLBvN9iUqIkoA2KLWtF058Guu8F3qHSdXw=; b=koG4dwrQUbtAgKdSsmp2lg0/RK3Ne9LVqah1R8eBLy6Q3RMaj3p6FsrIcGRk93cONC PlYzM/imfeVBK0qeqa7HJGhdPmQhak4Y4sZ6BdqeGRtdMJ3gOWwK1kk9Icx9Sga23HGm NI/byKA4eR/QiV/hj0PPGU95V5kQ3c4dRMdbQLEB8WgHXRDRNXfJoTsorPpjxV8rFq/f 5GFhe042Q6F2yJQRjzNp9pFf5KekdaYSxXWAkmNz9vsL9Y9jssZkegc3G/qONpO+OVJh eVGWpIwKdEsxgM319vrbJCf+NZhRe0yXDses6P9Gt7Iylq+yHZLfgvSaPA11JmzF8sgt Jk0w== X-Gm-Message-State: AOJu0Yw4g9xGgjvcDbF9OFFfKivYoWFovU31w9xzEZImaj2Yf5Zg95Gk FIByFvmPyJGH/ya6ZbQAQ7XA22870SMYGemUEP22rUrV43M= X-Google-Smtp-Source: AGHT+IEBjOlisZ4Zu3qXX6cYq/V1NYBYz5lswzrBLFNhKhihCp+P+oG969IBK7dv6XAEoLy5dBjgkzb+XpSFo5OQHwQ= X-Received: by 2002:a05:6402:68b:b0:531:a63:cf25 with SMTP id f11-20020a056402068b00b005310a63cf25mr11613199edy.33.1696752720284; Sun, 08 Oct 2023 01:12:00 -0700 (PDT) MIME-Version: 1.0 References: <2dee812b-56a9-bba0-bb63-666f8866007b@bothner.com> <60ec5fc4-bad7-97f6-dbf8-455e787e3380@bothner.com> In-Reply-To: From: Damien Mattei Date: Sun, 8 Oct 2023 10:11:48 +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.5 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: it is hard to modify without touching or breaking deeply the kawa code or my code because $bracket-apply$ is coded in java in BracketApply.java do you know a way to rename $bracket-apply$ it. The standart scheme way i know does not work, the cause seems to be that it is java behind , it is not a macro ,not a procedure: #|kawa:9|# $bracket-apply$ #> i ideally want to rewrite $bracket-apply$ and be able to reuse in it the code of the previous definition of $bracket-apply$.... first problem is to rename this "object" $bracket-apply$ in kawa ? On Sat, Oct 7, 2023 at 6:59=E2=80=AFPM Damien Mattei wrote: > > 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 wrot= e: > > > > In Kawa $bracked-apply$ is a pre-defined macro - but it is not hard-wir= ed. > > You can re-bind it to something else. You probably should. > > Either that, or change the reader to conervt foo[args] to something dif= ferent. > > -- > > --Per Bothner > > per@bothner.com http://per.bothner.com/