<div dir="ltr">Sorry, the outlook of second sample is a bit ambiguous, its a char `"' between`''  and `''</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, May 11, 2013 at 10:03 AM, Bob Zhang <span dir="ltr"><<a href="mailto:bobzhang1988@gmail.com" target="_blank">bobzhang1988@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br clear="all"><div>Hi all,</div><div>   I have came across a nasty bug when lexing the nested quotations. I would like to have your opinions about this problem.</div>
<div><br></div><div>
   Sample 1:</div><div>   {:q|  "|}" |}</div><div>       Shall we accept this or reject it? the intuition is that this is a legal quotation, however, if we treat the contents inside the quotation in a verbatim way, this is illegal...</div>

<div>  Sample 2:</div><div>  {:q| '"' |}    </div><div>     If we treat " inside the quotation specially, the quotation above seems to be illegal (a non-terminated string).</div><div>
<br></div><div>   If we treat both ' and " inside quotation in a special way, which is good in most cases, then we lose some use cases, for example, the contents inside the quotation have to follow the same string char lexical convention as OCaml.. what do you think?</div>
<span class="HOEnZb"><font color="#888888">
-- <br><div>Regards</div>-- Bob
</font></span></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div>Regards</div>-- Bob
</div>