Re: [[ inside of a [[ .. ]]

[Mauro Iazzi <mauro.iazzi@...>]

> there's also a problem with "]]" in string literals:
> print"]]"
> which would require to reliably detect string literals in the user's code.

Which is wrong: I did not understand the original proposal, sorry for the noise.

mauro