zyedidia/micro
1
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2024-09-11 12:15:52 +03:00
Code Issues Projects Releases Wiki Activity

Add suggested changes

Browse Source
This commit is contained in:
LordOfTrident 2024-08-15 16:38:24 +02:00
parent 7e6b17bbd2
commit c4545d3ca0
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
runtime/syntax/ocaml.yaml
View File

@ -24,13 +24,11 @@ rules:
- special: "\\b(include|inherit|initializer)\\b"
#expr modifiers
- special: "\\b(new|ref|mutable|lazy|assert|raise)\\b"
- constant.string:
start: "'(.|\\\\(([0-7]{3}|x[A-Fa-f0-9]{2}|u[A-Fa-f0-9]{4}|U[A-Fa-f0-9]{8})|[abfnrtv'\\\"\\\\]))'"
end: ""
rules:
- constant.specialChar: "%."
- constant.specialChar: "\\\\[abfnrtv'\\\"\\\\]"
- constant.specialChar: "\\\\([0-7]{3}|x[A-Fa-f0-9]{2}|u[A-Fa-f0-9]{4}|U[A-Fa-f0-9]{8})"
#character literal
- constant.string: "'(\\\\[0-7]{3}|\\\\x[A-Fa-f0-9]{2}|\\\\u[A-Fa-f0-9]{4}|\\\\U[A-Fa-f0-9]{8}|\\\\[abfnrtv'\\\"\\\\]|.)'"
- constant.specialChar: "\\\\[abfnrtv'\\\"\\\\]"
- constant.specialChar: "\\\\([0-7]{3}|x[A-Fa-f0-9]{2}|u[A-Fa-f0-9]{4}|U[A-Fa-f0-9]{8})"
#string literal
- constant.string:
start: "\""
end: "\""