diff options
author | Akshit Garg <garg.akshit@gmail.com> | 2022-08-14 22:39:35 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-14 19:09:35 +0200 |
commit | 901b49a2d44533520d99cee093a660a06aec5b41 (patch) | |
tree | 93901b205e020ddca1db2f0cb3d9a01f32b3bc73 | |
parent | 394aa61c98e01c26ac408c5c9d6232b5ede124c3 (diff) |
Add support for ReScript (#798)
https://rescript-lang.org
Co-authored-by: XAMPPRocky <4464295+XAMPPRocky@users.noreply.github.com>
-rw-r--r-- | languages.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/languages.json b/languages.json index 90fe451..062c28a 100644 --- a/languages.json +++ b/languages.json @@ -1134,6 +1134,12 @@ "quotes": [["\\\"", "\\\""], ["'", "'"], ["`", "`"]], "extensions": ["rpy"] }, + "ReScript": { + "line_comment": ["//"], + "multi_line_comments": [["/*", "*/"]], + "quotes": [["\\\"", "\\\""]], + "extensions": ["res", "resi"] + }, "ReStructuredText": { "blank": true, "extensions": ["rst"] |