Fix literal '"' in fsharp highlighting.

This commit is contained in:
pema99 2019-11-11 06:25:37 +01:00
parent 7438f23b9b
commit 43b8f1338b

View File

@ -33,7 +33,7 @@ provide-module fsharp %§
add-highlighter shared/fsharp regions add-highlighter shared/fsharp regions
add-highlighter shared/fsharp/code default-region group add-highlighter shared/fsharp/code default-region group
add-highlighter shared/fsharp/docstring region \(\*(?!\)) (\*\)) regions add-highlighter shared/fsharp/docstring region \(\*(?!\)) (\*\)) regions
add-highlighter shared/fsharp/double_string region @?" (?<!\\)(\\\\)*"B? fill string add-highlighter shared/fsharp/double_string region @?(?<!')" (?<!\\)(\\\\)*"B? fill string
add-highlighter shared/fsharp/comment region '//' '$' fill comment add-highlighter shared/fsharp/comment region '//' '$' fill comment
# https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/attributes # https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/attributes
add-highlighter shared/fsharp/attributes region "\[<" ">\]" fill meta add-highlighter shared/fsharp/attributes region "\[<" ">\]" fill meta