Utop_lexer: to keep semantic consistent with the ocaml compiler, we now consider a combined double-quote to be a legal mark to start a string

2019-05-13 10:47:00 +08:00 · 2019-05-13 10:47:00 +08:00 · da0fa23a05
parent 1ae50d3201
commit da0fa23a05
1 changed files with 1 additions and 1 deletions
--- a/src/lib/uTop_lexer.mll
+++ b/src/lib/uTop_lexer.mll
@ -203,7 +203,7 @@ and cm_string idx= parse
      {
        let uChar= Zed_utf8.unsafe_extract uchar 0 in
        if Zed_char.is_combining_mark uChar then
-          (Error, idx)
+          cm_string idx lexbuf
        else
          let idx2, terminated= string (idx + 1) true lexbuf in
          (String (1, terminated), idx2)