Fix inefficient string tokenization

vor 7 Jahren · a71bef804d
--- a/grammar.js
+++ b/grammar.js
@ -700,7 +700,7 @@ module.exports = grammar({
    string_literal: $ => seq(
      '"',
      repeat(choice(
        token.immediate(prec(1, /[^\\"\n]/)),
        token.immediate(prec(1, /[^\\"\n]+/)),
        $.escape_sequence
      )),
      '"'
--- a/src/grammar.json
+++ b/src/grammar.json
@ -4152,7 +4152,7 @@
                  "value": 1,
                  "content": {
                    "type": "PATTERN",
                    "value": "[^\\\\\"\\n]"
                    "value": "[^\\\\\"\\n]+"
                  }
                }
              },
--- a/src/parser.c
+++ b/src/parser.c