Yes. String[] is parsed as ($bracket-apply$ String)

When in doubt, you can always evaluate the expression:

(call-with-input-string "(String[])" read)

sob., 30 wrz 2023 o 20:22 Damien Mattei via Kawa <kawa@sourceware.org>
napisał(a):

> thank you
>
> the simplest example works:
>
> (display "hello") (newline)
> (format #t "The command-line was:~{ ~w~}~%" (command-line))
>
> kawa test.scm
>
> i see kawa use some syntax extension such as []:
> '((main args::String[])::void allocation: 'static (display "hello"))
>  that expands in curly-infix reader as:
> '((main args::String ()) ::void allocation: 'static (display "hello"))
>
> is there a way to replace String[] in kawa by something that does not use
> []  ?
>
> On Sat, Sep 30, 2023 at 6:03 PM Per Bothner <per@bothner.com> wrote:
> >
> > As Jamison wrote - this can be the entirety of your test.scm:
> >
> >      (display "hello") (newline)
> >
> > More information and suggestions here:
> > https://www.gnu.org/software/kawa/Scripts.html
> >
> > --
> >         --Per Bothner
> > per@bothner.com   http://per.bothner.com/
>