<div dir="ltr"><br clear="all"><div style>Hi all,</div><div style>   I have came across a nasty bug when lexing the nested quotations. I would like to have your opinions about this problem.</div><div style><br></div><div style>
   Sample 1:</div><div style>   {:q|  "|}" |}</div><div style>       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 style>  Sample 2:</div><div style>  {:q| '"' |}    </div><div style>     If we treat " inside the quotation specially, the quotation above seems to be illegal (a non-terminated string).</div><div style>
<br></div><div style>   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>
-- <br><div>Regards</div>-- Bob
</div>