<br><br><div class="gmail_quote">On Thu, Jan 31, 2013 at 8:43 AM, Török Edwin <span dir="ltr"><<a href="mailto:edwin+ml-ocaml@etorok.net" target="_blank">edwin+ml-ocaml@etorok.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 01/31/2013 03:27 PM, Hongbo Zhang wrote:<br>
><br>
><br>
</div><div class="im">>     > In Fan,<br>
>     > {:json| ... |}<br>
>     > if "|}" is used inside,*the user (optionally) can introduce a new separator following "|" immediately*<br>
>     > {:json|/ ... /|}<br>
><br>
>     So this would be similar to Leo's proposal but with the optional symbol on the inside, a mandatory whitespace<br>
>     after the symbol, and no whitespace after the : right?<br>
>     {:lid|x␣string x|}<br>
><br>
</div>> no whitespace, we need the *precise location*, whitespace will introduce trouble here<br>
> The optional *character set is limited to [/+-] (serveral more)*, only those optional characters will be recgonized.<br>
<div class="im">> so you can still write {:json|{a;b}|}<br>
> but {:json|/{a;b|}}/|} also works<br>
<br>
</div>Without a whitespace how do you know if the '/' is your optional character or part of the quoted syntax?<br>
(unless you restrict the quoted syntax's first character to be something else than the optional characters)<br>
<br></blockquote><div>exactly( optional chars is a limited set, but is enough in practice,(stolen from perl) </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
What do you think of this syntax:<br>
{:lid|...|lid:}<br>
<br></blockquote><div>no, we introduce Language namespace, sometimes you can write unamed quotations XD </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Its still quite easy to find where quotation's bounds are, it is symmetric, and the end marker should be long enough<br>
to not cause false matches inside the quotation.<br>
<br>
Best regards,<br>
--Edwin<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>-- Regards, Hongbo