fix char regex

ionide · Sep 8, 2024 · 9ad957f · 9ad957f
1 parent cd7befd
commit 9ad957f
Show file tree

Hide file tree

Showing 6 changed files with 17,909 additions and 17,879 deletions.
diff --git a/fsharp/grammar.js b/fsharp/grammar.js
@@ -1649,7 +1649,7 @@ module.exports = grammar({
     char: (_) =>
       prec(
         -1,
-        /'([^\n\t\r\u0008\a\f\v\\]|\\["\'ntbrafv]|\\[0-9]{3}|\\u[0-9a-fA-F]{4})*'B?/,
+        /'([^\n\t\r\u0008\a\f\v\\]|\\["\'ntbrafv]|\\[0-9]{3}|\\u[0-9a-fA-F]{4}|(\\\\))?'B?/,
       ),
 
     format_string_eval: ($) =>

diff --git a/fsharp/src/grammar.json b/fsharp/src/grammar.json
@@ -6857,7 +6857,7 @@
       "value": -1,
       "content": {
         "type": "PATTERN",
-        "value": "'([^\\n\\t\\r\\u0008\\a\\f\\v\\\\]|\\\\[\"\\'ntbrafv]|\\\\[0-9]{3}|\\\\u[0-9a-fA-F]{4})*'B?"
+        "value": "'([^\\n\\t\\r\\u0008\\a\\f\\v\\\\]|\\\\[\"\\'ntbrafv]|\\\\[0-9]{3}|\\\\u[0-9a-fA-F]{4}|(\\\\\\\\))?'B?"
       }
     },
     "format_string_eval": {