Properly count line breaks embedded in strings.

ede62577 · Guillaume Melquiond · 5cae7968 · ede62577
Commit ede62577 authored Mar 31, 2014 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

src/parser/lexer.mll src/parser/lexer.mll +2 -1

No files found.
--- a/src/parser/lexer.mll
+++ b/src/parser/lexer.mll
@@ -290,7 +290,8 @@ and string = parse
        Buffer.clear string_buf;
        s }
  | "\\" (_ as c)
-      { Buffer.add_char string_buf (char_for_backslash c); string lexbuf }
+      { if c = '\n' then newline lexbuf;
+        Buffer.add_char string_buf (char_for_backslash c); string lexbuf }
  | newline
      { newline lexbuf; Buffer.add_char string_buf '\n'; string lexbuf }
  | eof