Re: unrecognized syntax: type[args]

[Damien Mattei <damien.mattei@gmail.com>]

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 PM Per Bothner <per@bothner.com> 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 different.
> --
>         --Per Bothner
> per@bothner.com   http://per.bothner.com/